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 (I)
Attributgrammatiken (II)
Arten von Attributen
Attributgrammatiken-Beispiele
Konkrete und abstrakte Syntax
Regeln zur Typprüfung
Ausdrücke
→
Kellermaschine
Ãbungen (Stackmaschine)
Dynamische Semantik
Bsp: Operationale Semantik
Denotationale Semantik
Beispiel Denotationale Semantik
Beispiel: Semantik von Unterprogr.
Axiomatische Semantik
Eiffel
Hoare-Kalkül
Axiom für Schleifen
Übungen (Invarianten)
2010-02-04
