Exams and Grade
Core Course, Theoretical Computer Science, 9 credit points
Stammvorlesung, Theoretische Informatik, 9 Leistungspunkte
Winter Semester 2007/2008
Prof. Gert Smolka,
Dr. Jan Schwinghammer
Department of Computer Science, Saarland University
Tuesday and Thursday, 10.15–12.00, HS 001
(Building E1 3)
First lecture: Tuesday, October 23, 2007
Wednesday, 16.15–17.15, SR 016 (Building E1 3)
This course introduces basic concepts and techniques in the foundational study of programming languages. The central theme is the view of individual programs and whole languages as mathematical objects about which precise claims may be made and proved. Particular topics include operational techniques for formal definition of language features, type systems and type safety properties, polymorphism and subtyping, type reconstruction, and foundations of object-oriented programming. The concepts and techniques of this course have important applications in language design, compilers, security and software engineering.
The 2003 and 2005 editions of this course.
To receive credit point for this course, students of CS and CuK must register for it with the HISPOS software of the examination office by December 1, 2007.Last Change: Wed May 1 17:58:10 2019 |