Nächste Seite:
Statische und dynamische Semantik
Aufwärts:
Prinzipien von Programmiersprachen Vorlesung
Vorherige Seite:
Übung Operator/Grammatik
Semantik von Programmiersprachen
Unterabschnitte
Statische und dynamische Semantik
Attributgrammatiken (I)
Attributgrammatiken (II)
Donald E. Knuth
Arten von Attributen
Attributgrammatiken-Beispiele
Konkrete und abstrakte Syntax
Regeln zur Typprüfung
Übung Attributgrammatiken/SableCC
Ausdrücke
→
Kellermaschine
Übungen (Stackmaschine)
Dynamische Semantik
Bsp: Operationale Semantik
Denotationale Semantik
Beispiele Denotationale Semantik
Beispiel: Semantik von Unterprogr.
Axiomatische Semantik
Eiffel
Hoare-Kalkül
Axiom für Schleifen
Übungen (Invarianten)
Johannes Waldmann 2013-01-28
