Nächste Seite:
Statische und dynamische Semantik
Aufwärts:
Prinzipien von Programmiersprachen Vorlesung
Vorherige Seite:
Das hängende else
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
.
Dynamische Semantik
Bsp. Operationale Semantik (I)
Bsp: Operationale Semantik (II)
Denotationale Semantik
Beispiele Denotationale Semantik
Beispiel: Semantik von Unterprogr.
Axiomatische Semantik
Eiffel
Hoare-Kalkül
Axiom für Schleifen
Übungen (Stackmaschine)
Übungen (Invarianten)
2015-01-26
