Nächste Seite: Statische und dynamische Semantik Aufwärts: Prinzipien von Programmiersprachen Vorlesung Vorherige Seite: Übungen

Semantik von Programmiersprachen

Unterabschnitte

Statische und dynamische Semantik
Attributgrammatiken
Attributgrammatiken-Beispiele
Regeln zur Typprüfung
Ausdrücke $\to$ Kellermaschine
Dynamische Semantik
Bsp: Operationale Semantik
Axiomatische Semantik
Denotationale Semantik
Übungen

Johannes Waldmann 2007-01-23