Saarland University
Computer Science
Programming Systems
Teaching
Semantics WS 05


Main
Literature
Timetable
Registration
Services
Exams

Semantics

Core Course, Theoretical Computer Science, 9 credit points
Stammvorlesung, Theoretische Informatik, 9 Leistungspunkte

Winter Semester 2005/2006

Prof. Gert Smolka, Andreas Rossberg
Department of Computer Science, Saarland University

Lectures

Tuesday and Thursday, 11.15–13.00, HS 001 (Building 45)
First lecture: Tuesday, October 18, 2005

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 edition of this course.