Die Semantik von Programmiersprachen
Der denotationelle Ansatz

Übersicht : Formale Semantik

• Einführung
• Die Syntaktischen Domänen
• Die Semantischen Domänen
• Die Semantischen Funktionen
• Beispiel : Auswertung eines Integerausdrucks
• Der Zustand
• Erweiterung : Zuweisung
• Erweiterung : Bedingung
• Erweiterung : Schleife
• Beispielprogramm