Die Semantik von Programmiersprachen:
Der axiomatische Ansatz

Informatik-Seminar WS2004/05
von Jens Neldner


... [ Seminar Programmierkonzepte und -sprachen ] ... [→ Einleitung] ...

Gliederung:

  1. Einleitung
  2. Ziele der axiomatischen Semantik
  3. Einführende Beispiele
  4. Axiomatische Spezifikation der Semantik des Sprachkonstrukts C und Schwächste Vorbedingung (wp)
  5. Axiomatische Semantik der Beispielsprache
  6. Partielle vs. totale Korrektheit
  7. Literaturverzeichnis

... [ Seminar Programmierkonzepte und -sprachen ] ... [→ Einleitung] ...