Universität des Saarlandes
FR Informatik
Programmiersysteme
Vorlesungen
Semantics WS 03


Homepage
Literature
Timetable
Registration
Tutorials
Exams
Mailing List

Semantics

Stammvorlesung, Theoretische Informatik, WS 2003/04

Prof. Gert Smolka, Guido Tack, Matthias Horbach,
Fachrichtung Informatik, Universität des Saarlandes

Re-exam

Lectures

Tuesday and Thursday, 11.15–13.00, HS 001 (Building 45)

First lecture: Tuesday, October 21st, 2003

Office Hours

Prof. Gert Smolka: Wednesday, 14.00–15.00 (building 45, room 514)
Guido Tack: Monday, 15:00–16:00, Wednesday, 15.00–16.00 (building 45, room 516)
Matthias Horbach: Monday, 10:00–11:00, Tuesday, 17:00–18:00 (building 45, room 507)

Content

The lecture gives an introduction to the theory of programming languages. This year we will focus on types and follow a recent book of Benjamin C. Pierce.

A type system is a syntactic method for enforcing levels of abstraction in programs. The study of type systems--and of programming languages from a type-theoretic perspective--has important applications in software engineering, language design, high-performance compilers, and security.

The core topics include operational semantics and associated proof techniques, the untyped lambda-calculus, simple type systems, type reconstruction, universal and existential polymorphism, subtyping, bounded quantification, recursive types, kinds, and type operators. Extended case studies develop a variety of approaches to modeling the features of object-oriented languages.