Themen

• formale Methoden zur Beschreibung von
  • Syntax (lexikalisch, grammatikalisch, abstrakt)
  • Semantik (statisch: Attributgrammatiken,
    dynamisch: denotational, operational, axiomatisch)
• Anwendung bei:
  • Typen
  • Ausdrücke, Anweisungen
  • Unterprogramme
  • Polymorphie (OO, parametrisch)