Vitaly Perevoshchikov

Kontakt

Sprechstunde

Montags, 15:30 - 16:30 Uhr

Lehre

Übung Semantik von Programmiersprachen, SS 2012

Literaturverzeichnis:

1. K. Alber, W. Struckmann: Einführung in die Semantik von Programmiersprachen,
   BI-Wissenschaftsverlag, 1988.
2. G. Winskel: The formal semantics of programming languages: an introduction,
   the MIT Press, 1993.

Vorlesungstermin

Donnerstag, 9:15 - 10:45 Uhr, SG 1-12.

Übungstermin

Donnerstag, A-Woche, 11:15 - 12:45 Uhr, SG 1-12.

Die erste Übung findet am 19.04 statt.

Übungsmaterial