Einleitung
... [ Seminar Programmierkonzepte und -sprachen ]
... [↑ Gliederung]
... [→ Ziele der axiomatischen Semantik] ...
Einleitung
Schwerpunkt dieser Arbeit ist das Einführen der axiomatischen Semantik.
Diese Semantik ist eine der drei Hauptansätze der formalen Semantikdefinition.
Im nächsten Gliederungspunkt werden die Ziele der axiomatischen Semantik
und ihre Anwendungsgebiete aufgezeigt. Dann werden im dritten Punkt einführende
Beispiele für die axiomatische Semantik gegeben. Der vierte Gliederungspunkt
handelt von der axiomatischen Spezifikation der Semantik des Sprachkonstrukts
C und führt die schwächste Vorbedingung wp (englisch: weakest precondition)
ein. Im fünften Punkt wird eine Beispielsprache für die axiomatische
Semantik eingeführt und erklärt. Der sechste Gliederungspunkt macht
die Unterschiede zwischen partieller und totaler Korrektheit klar. Abschliessend
kommt das Literaturverzeichnis mit der benutzten Literatur.
... [ Seminar Programmierkonzepte und -sprachen ]
... [↑ Gliederung]
... [→ Ziele der axiomatischen Semantik] ...