Statische und dynamische Semantik

Semantik = Bedeutung

• statisch (kann zur Übersetzungszeit geprüft werden)

  Bsp: Typ-Korrektheit von Ausdrücken, Bedeutung (Bindung) von Bezeichnern

  Hilfsmittel: Attributgrammatiken

• dynamisch (beschreibt Ausführung des Programms)

  Operational, Axiomatisch, Denotational