Saarland University
Computer Science
Programming Systems
Teaching
Semantics WS 05
Main
Literature
Timetable
Registration
Services
Exams
Core Course, Theoretical Computer Science, 9 credit points
Stammvorlesung, Theoretische Informatik, 9 Leistungspunkte
Prof. Gert Smolka,
Andreas Rossberg
Department of Computer Science,
Saarland University
Tuesday and Thursday, 11.15–13.00, HS 001 (Building 45)
First lecture: Tuesday, October 18, 2005
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.
Last Change: Thu 01 Jan 1970 00:00:00 UTC