Vorlesung Semantik von Programmiersprachen

Organisatorisches

      Veranstalter: Prof. Dr. Markus Lohrey (Raum H-A 7103, Tel. 0271 740-2826)

      Vorlesungstermin:

            Montag, 14:00-16:00 Uhr, im H-F 112

      Übungen:

            Mittwoch, 14:00-16:00 Uhr, im H-F112   

Einige Themen

• Syntax und Semantik
• Mathematiksche Grundlagen (partielle Ordnungen, strukturelle Induktion, Fixpunkte, Bereiche)
• Operationelle Semantik (Einzelschrittsemantik, Big-Step-Semantik)
• Denotationelle Semantik
• Hoare-Kalkül

Folien (Version vom 16.07.2015)

Übungsblätter

• Blatt 1
• Blatt 2
• Blatt 3
• Blatt 4
• Blatt 5
• Blatt 6
• Blatt 7
• Blatt 8
• Blatt 9
• Blatt 10
• Blatt 11

Lehrmaterial

• Winskel, The Formal Semantics of Programming Languages: An Introduction, MIT Press 1993
• Loeckx, Sieber, The Foundations of Program Verification, Wiley-Teubner 1987