Statische und dynamische Semantik

Semantik = mathend000# Bedeutung

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

  Beispiele:

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

  Hilfsmittel: Attributgrammatiken

• dynamisch (beschreibt Ausführung des Programms)

  operational, axiomatisch, denotational