Saarland University
Informatics
Programming Systems
Teaching
Semantics 2007


Main page
Literature
Lecture Notes
Timetable
Registration
Services
Exams and Grade
Login
Forum

Semantics

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

Lectures

Tuesday and Thursday, 10.15–12.00, HS 001 (Building E1 3)
First lecture: Tuesday, October 23, 2007

Tutorials

Wednesday, 16.15–17.15, SR 016 (Building E1 3)

Syllabus

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.