Wie weiter?

Anwendung und Vertiefung von Themen der PPS-Vorlesung z. B. in Vorlesungen

• Programmverifikation

  u.a. axiomatische Semantik imperativer Programme

• Compilerbau
  • Realisierung der Semantik durch
    • Interpretation
    • Transformation
  • abstrakte und konkrete Syntax (Parser)

• Constraint-Programmierung