Die Semantik von Programmiersprachen:
Der axiomatische Ansatz

Informatik-Seminar WS2004/05
von Jens Neldner

Gliederung:

1. Einleitung
2. Ziele der axiomatischen Semantik
3. Einführende Beispiele
   
• x := x + 1
• x := 1 / y
• Vertauschen von x und y
• Feld sortieren
4. Axiomatische Spezifikation der Semantik des Sprachkonstrukts C und Schwächste Vorbedingung (wp)
• Axiomatische Spezifikation der Semantik des Sprachkonstrukts C
• Schwächste Vorbedingung wp
• Allgemeine Eigenschaften von wp
5. Axiomatische Semantik der Beispielsprache
   • Semantik der Beispilesprache
   • Assignment Statements
   • Assignment Statements Beispiele
   • Statement-Listen
   • Statement-Listen Beispiel
   • If-Anweisung
   • If-Anweisung Beispiel
   • While-Schleifen
   • While-Schleifen Beispiele
6. Partielle vs. totale Korrektheit
7. Literaturverzeichnis