Semantik von Programmiersprachen
Vorlesung Semantik von Programmiersprachen
Inhaltsverzeichnis
Klausurtermine
Ort, Zeit
Vorlesung: Mi 10-12 Uhr, SR 1.29
Übung: Di 10-12 Uhr, SR 1.29
Vorlesungsinhalte
Lernziele:
Die TeilnehmerInnen sollen unterschiedliche Möglichkeiten zur Definition der Semantik von Programmiersprachen kennen lernen, beurteilen und analysieren können.
Inhalte:
1. Denotationale Semantik: λ-Kalkül, Bereiche, vollständige Halbordnungen, Fixpunkte, Nachweis der Typkorrektheit
2. Operationale Semantik: Inferenzregeln, statische Semantik, natürliche Semantik, strukturell operationale Semantik, Nachweis der Typkorrektheit, Validierung
3. Abstrakte Maschine: Abstrakte Zustandsmaschinen, Validierung und Übersetzerkorrektheit
Folien
Organisatorisches
slides-4.pdf
(externe Datei)
Kapitel 1: Einleitung
(Endgültige Fassung 30.11.2006)
einleitung-4.pdf
(externe Datei)
Kapitel 2: Denotationale Semantik
(Endgültige Fassung 22.01.2007)
denotational.pdf
(externe Datei)
Übungen
Übung 1
u1.pdf
(externe Datei)
Übung 2
u2.pdf
(externe Datei)
Übung 4
u4.pdf
(externe Datei)
Übung 3
u3.pdf
(externe Datei)
Übung 5
u5.pdf
(externe Datei)
Übung 6
6.pdf
(externe Datei)
Übung 7
u7.pdf
(externe Datei)
Übung 8
u8.pdf
(externe Datei)
Übung 9
u9.pdf
(externe Datei)
Übung 10
u10.pdf
(externe Datei)
Übung 11
u11.pdf
(externe Datei)
Übung 12
u12.pdf
(externe Datei)