Description only available in german.
Material
Hier wird kapitelweise das Skript zum Download zur Verfügung stehen. Die Datumsangaben zeigen an, wann das entsprechende Kapitel zuletzt aktualisiert wurde.
| Script PDF |
| 14.04.2010 |
Red tape |
Download
|
| 14.04.2010 |
Introduction |
Download
|
| 14.04.2010 |
While syntax |
Download
|
| 20.04.2010 |
Operational semantics for While |
Download
|
| 12.05.2010 |
Compiler for While (version 2) |
Download
|
| 18.05.2010 |
Extensions for While - 1st part |
Download
|
| 25.05.2010 |
Extensions for While - 2nd part |
Download
|
| 08.06.2010 |
Denotational semantics |
Download
|
| 08.06.2010 |
Fixpoint theory |
Download
|
| 16.06.2010 |
Adequacy and compositionality |
Download
|
| 30.06.2010 |
Continuations (2nd version) |
Download
|
| 22.07.2010 |
Axiomatic semantics (version 2) |
Download
|
| 22.07.2010 |
Complete lecture notes (version 2) |
Download
|
Schedule
begin 14.04.2010,
end 14.07.2010
| Weekday |
Begin |
End |
Location |
| Wednesday, 14.4.2010 |
14:00h |
15:30h |
HS -101 Geb. 50.34 |
Literature
-
Hanne Riis Nielson, Flemming Nielson.
Semantics with Applications: An Appetizer.
Springer Verlag, 2007. Zweite Auflage.
ISBN: 978-1-84628-691-9.
Grundlage der meisten Themen der Vorlesung, sehr anschaulich und gut verständlich.
-
John C. Reynolds.
Theories of Programming Languages.
Cambridge University Press, 1998.
ISBN: 0-521-59414-6.
Fokus auf denotationaler Semantik
-
Benjamin C. Pierce. Types and Programming Languages.
MIT Press, 2002. ISBN: 0-262-162209-1.
Schwerpunkt auf dem Lamda-Kalkül und Typsystemen, mit sehr guten Erklä;rungen, auch zu weiterführenden Themen.
-
Glynn Winskel.
The Formal Semantics of Programming Languages. An Introduction.
MIT Press, 1993.
ISBN: 0-262-73103-7.
Ausführlicher Beweis der Unentscheidbarkeit eines vollständigen axiomatischen Kalküls
Personnel
