Vorlesung

Semantik von Programmiersprachen

Sommersemester 1998



Ort:Di 14-16, Fr 11-13, HS003, Geb. 45, Beginn: 21.04.1998
Veranstalter:Reinhold Heckmann, Raum 403, Geb. 45, Tel.: 302-2454, email: heckmann@cs.uni-sb.de
Sprechstunde:Nach Vereinbarung
Betreuer:Stephan Thesing, Raum 402, Geb. 45, Tel.: 302-5571, email: thesing@cs.uni-sb.de
Übungen:Mo. 11-13 Uhr und Mi. 11-13 Uhr, jeweils Raum 0.15, Geb. 45, Beginn: 04.05.1998
Bremser:Tim Priesnitz
Teilgebiet:Stammvorlesung Theoretische Informatik
Vorkenntnisse:Vordiplom
Scheinvergabekriterien:Min. die Hälfte der Punkte aus den Übungsaufgaben, sowie Bestehen der Abschlußklausur.
Infos zum Inhalt:Siehe kommentiertes Vorlesungsverzeichnis
Übungsblätter:Werden in der Vorlesung ausgegeben, Abgabetermin ist auf den Übungsblättern vermerkt. Onlineversionen der Übungsblätter findet man hier.

Probeklausur

FIndet man hier.
Kurzübersicht:Findet man hier.
Literatur:Glynn Winskel: The Formal Semantics of Programming Languages. The MIT Press, Cambridge, Massachusetts, 1993.
John C. Mitchell: Foundations for Programming Languages. The MIT Press, Cambridge, Massachusetts, 1996.
Materialien:Ergänzendes findet man hier.
Klausur-Termin:Freitag, 24.7.1998, 11-13 Uhr, HS 003, Geb. 45
Klausur:Liegt hier als Postscript.
Musterlösung: Liegt hier.
Ergebnisse: Von 16 Teilnehmern haben 7 bestanden.
Nachklausur: 28. September 1998, 1100st Uhr - 1300 Uhr. Ort: Raum 023, MPI (Bau 46)
Die Nachklausur selbst findet man hier
Ergebnisse der Nachklausur: Liegen vor und können bei mir erfragt werden.

Zuletzt geändert von Stephan Thesing am 29.09.1998.