ProMo V14
Denotationelle Semantik
Zu Vorlesungsteil 13 (Denotationelle Semantik) gibt es keinen eigenen Foliensatz. Die Vorlesung nutzt als Skript das Kapitel über denotationelle Semantik im WikiBook über Haskell (in englischer Sprache):
http://en.wikibooks.org/wiki/Haskell/Denotational_semantics
Eine denotationelle Semantik ist ein formales mathematisches Modell zur Erklärung der Bedeutung eines Programmes.
Artikelaktionen