Denotationale Semantik

Beispiele

• jedes (nebenwirkungsfreie) Unterprogramm ist eine Funktion von Argument nach Resultat
• jede Anweisung ist eine Funktion von Speicherzustand nach Speicherzustand

Vorteile denotationaler Semantik:

• Bedeutung eines Programmes = mathematisches Objekt
• durch Term beschreiben, durch äquivalente Umformungen verarbeiten (equational reasoning)

Vorteil deklarativer Programierung:

Programmiersprache ist Beschreibungssprache