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
Kellermaschine
Dynamische Semantik
Bsp: Operationale Semantik
Axiomatische Semantik
Axiom für Schleifen
Denotationale Semantik
Beispiel: Semantik von Unterprogr.
Übungen (Coderzeugung)
Übungen (Invarianten)
Johannes Waldmann 2008-01-23
Kellermaschine