Semantik von Programmiersprachen

1 Einleitung.- 2 Verschiedene Methoden der formalen Semantikspezifikation.- 2.1 Die Beispielsprache WHILE.- 2.2 Informelle Beschreibung der Semantik von WHILE.- 2.3 Operationelle Semantik der Sprache WHILE.- 2.4 Denotationelle Semantik der Sprache WHILE.- 2.5 Axiomatische Semantik der Sprache WHILE.- 3 Mathematische Grundlagen.- 3.1 Theorie der semantischen Bereiche.- 3.2 Der getypte ?-Kalkül als Metasprache.- 3.3 Lösung rekursiver Bereichsgleichungen.- 4 Detaillierte Behandlung der denotationellen Semantik.- 4.1 Spezielle Funktionen und Konventionen.- 4.2 Denotationelle Semantik der Sprache WHILE unter Verwendung der neuen Notationen.- 4.3 Entwicklung der Standardsemantik unter besonderer Berücksichtigung der Fortsetzungssemantik.- 4.4 Die Standardsemantik der Sprache PASCAL0.- 4.5 Weitere Sprachkonzepte, analysiert im Rahmen der Standardsemantik.- 5 Funktionale Programmiersprachen.- 5.1 Die Programmiersprache LISP.- 5.2 FP-Systeme.- 5.3 Programmieren mit rekursiven Gleichungssystemen.- 6 Anwendungen der denotationellen Semantik bei der Implementierung höherer Programmiersprachen.- 6.1 Systematische Codeerzeugung aus der Standardsemantik.- 6.2 Implementierung nach Übersetzung in kombinatorische Ausdrücke.- 6.3 Implementierung auf Reduktionsmaschinen.