SS 2007: Theorie der Programmierung III

Termine

Vorlesung	Di 12:15 - 13:45	H-F 114 (neu!)
Erste Vorlesung	Di 03.04.2007
Übungen	Mi 12:15 - 13:45 (ungerade Wochen)	H-A 6118/19
Erste Übung	Mi 11.04.2007

Übungsblätter

Übung 1	PDF
Übung 2	PDF
Übung 3	PDF	korrigierte Version
Übung 4	PDF

Vorlesungsmitschrift

angefertigt von Benedikt Meurer: PDF

Literatur

1. Glynn Winskel: The Formal Semantics of Programming Languages, MIT Press,1993

2. John C. Mitchell: Foundations for Programming Languages, MIT Press,1996

3. Carl A. Gunter: Semantics of Programming Languages: Structures and Techniques, MIT Press, 1992