Semantik von Programmiersprachen

Tobias Nipkow

Bereich: III, Vorlesung: 3 Std.
Semantik kann alternativ auch als Vertiefung zu Übersetzung von Programmiersprachen in die Diplomprüfung im Bereich Praktische Informatik eingebracht werden.

Zeit & Ort: Dienstag 8:30-10:00 in S0314, Mittwoch 9:15-10:00 in N1090

Beginn: 7.11.95

Übung: Zentralübung, Dienstag 13:15-14:45 in 1601.
Übungsleitung: Franz Regensburger und Birgit Schieder.

Die Aufgabenblätter für die Zentralübung werden regelmäßig in der Vorlesung verteilt. Sie enthalten Hausaufgaben H, Programmieraufgaben P und Aufgaben Ü, die in der Zentralübung behandelt werden. Für alle Aufgaben werden Lösungsvorschläge bereitgestellt. Bei Bedarf werden in der Vorlesung auch Merkblätter ausgeteilt. Nähere Information findet sich im Merkblatt 1.

Inhalt:

Hörerkreis: Studenten/-innen der Informatik und Mathematik

Voraussetzungen: Vordiplom

Empfehlenswert für: Für eine spätere Beschäftigung mit der Semantik von Programmiersprachen ist diese Vorlesung unabdingbar.

Übungsschein: nach Bestehen einer Semestralklausur

Skript: keines

Literatur: Die Vorlesung orientiert sich sehr stark an

G. Winskel: The Formal Semantics of Programming Languages. MIT Press.

Es findet zum Ende der Semesterferien eine Sammelbestellung dieses Buches statt. Preis etwa DM 55. Wer Interesse an einem Exemplar hat, sollte sich so bald wie möglich bei Herrn Regensburger oder Frau Schieder in eine Liste eintragen.

Sprechstunde: S2233, nach Vereinbarung.


Tobias Nipkow, Franz Regensburger, Birgit Schieder, 06.03.96