Die Semantik von Programmiersprachen:
Der operationelle Ansatz

Informatik-Seminar WS2004/05
Lilli Dreher

Einleitung
Formale Semantikdefinition
- Warum Formale Semantikdefinition?
- Drei Hauptansätze
Eine Beispielsprache
- Arithmetische Ausdrücke
- Zuweisungen
- Kontrollanweisungen
- Vereinfachte Syntax
Operationelle Semantik der Beispielsprache
- Abstrakte Maschine
- Arithmetische Ausdrücke
- Zuweisungen
- Kontroll-Anweisungen
Implementierung der operationellen Semantik in einer Programmiersprache
Literaturverzeichnis
- Online
- Bücher