Skript zur Vorlesung - Universität Paderborn

Inhaltsverzeichnis
Vorwort iii
A Vorlesung 1
1 Einführung 3
1 Der Begriff Semantik . . . . . . . . . . . . . . . . . . . . . . . 3
1.1 Semantik eines Programms . . . . . . . . . . . . . . . . 4
1.2 Semantik einer Programmiersprache . . . . . . . . . . . 5
1.3 Semantik von Programmiersprachen . . . . . . . . . . . 6
2 Ansätze . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
2.1 Operationale Semantik . . . . . . . . . . . . . . . . . . 6
2.2 Mathematische (denonationale) Semantik . . . . . . . . 7
2.3 Axiomatische Semantik . . . . . . . . . . . . . . . . . . 8
2.4 Diskussion der Ansätze . . . . . . . . . . . . . . . . . . 9
3 Das Dilemma der Semantik . . . . . . . . . . . . . . . . . . . 10
4 Inhalt der Vorlesung . . . . . . . . . . . . . . . . . . . . . . . 11
2 Grundlegende Begriffe und Notationen 13
1 Mengen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
2 Relationen, Ordnungen und Äquivalenzen . . . . . . . . . . . 15
3 Abbildungen . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
3 Operationale Semantik 21
1 Die Programmiersprache IMP . . . . . . . . . . . . . . . . . . 21
1.1 Syntax . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
1.2 Abstrakte und konkrete Syntax . . . . . . . . . . . . . 24
1.3 Syntaktische Gleichheit . . . . . . . . . . . . . . . . . . 26
v