Links und Funktionen
Sprachumschaltung

Navigationspfad


Inhaltsbereich

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


Funktionsleiste