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)

• Sprachkonzepte der Parallelen Programmierung

  u.a. Fkt. höherer Ordnung in Schemata (skeletons) für parallele Algorithmen