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 |
| 16.04.2012 |
Organisation |
Download
|
| 16.04.2012 |
Introduction |
Download
|
| 16.04.2012 |
While syntax |
Download
|
| 18.04.2012 |
Semantics of While |
Download
|
| 09.05.2012 |
Compiler for While (version 2) |
Download
|
| 22.05.2012 |
Extensions for While I (Version 2) |
Download
|
| 30.05.2012 |
Extensions for While II |
Download
|
| 06.06.2012 |
Extensions for While III (Types) |
Download
|
| 12.06.2012 |
Denotational semantics |
Download
|
| 12.06.2012 |
Fixpoint theory |
Download
|
| 14.06.2012 |
Adequacy |
Download
|
| 27.06.2012 |
Continuations (version 2) |
Download
|
| 03.07.2012 |
Axiomatic semantics |
Download
|
| 10.07.2012 |
Axiomatic semantics - completeness and verification conditions |
Download
|
| 19.07.2012 |
All lecture notes |
Download
|
Schedule
begin 17.04.2012,
end 18.07.2012
| Weekday |
Begin |
End |
Location |
| Tuesday, 17.4.2012 |
14:00h |
15:30h |
SR 236, Info-Bau (Geb. 50.34) |
| Wednesday |
14:00h |
15:30h |
SR 236, Info-Bau (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
