Semantik von Programmiersprachen

Semantics of
Programming
Languages




Home
Literature
Assignments
Exams
Mailing List

Stammvorlesung, Theoretische Informatik, Wintersemester 2001

Prof. Gert Smolka, Thorsten Brunklaus, Jan Schwinghammer

Prof. Andreas Podelski, Patrick Maier

Fachrichtung Informatik, Universitšt des Saarlandes

Lectures

Monday and Wednesday, 9.15-11.00, HS 002, Building 45

First lecture: Wednesday, October 24, 2001

Abstract

The course consists of two parts. The first part is on simply typed lambda calculus and will be given by Prof. Smolka. The second part is on program analysis and will be given by Prof. Podelski. The second part starts on Monday, January 7, 2001.



Andreas Podelski, Last Change: Thu Dec 14 17:01:13 2017.