Zusammenfassung

• Methoden zur Beschreibung der
  • Syntax: reguläre Ausdrücke, kontextfreie Grammatiken
  • Semantik: operational, denotational, axiomatisch
• Konzepte:
  • Typen,
  • Ausdrücke und Anweisungen (Wert und Wirkung),
  • Unterprogramme (als Daten)
  • Polymorphie (statisch, dynamisch)
• Wechselwirkungen der Konzepte
• Paradigmen: imperativ, funktional, objektorientert

Alles das ist, bleibt und wird richtig und wichtig.

Top Ten
156 : 6*08*,5*18* :  4   1   2   3   2       2            
 99 : 6*99*,5*69* :  1   2   2   2   2               1   1
 85 : 6*21*,5*96* :  1   3   1   1               1        
 63 : ...

Bemerkung: Hanoi-4-Uhr geht aber deutlich besser:

man kann den Suchraum komplett durchlaufen

und damit das Minimum exakt bestimmen.

(wieviele Konfigurationen gibt es?)

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