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] ...