Semantics of Programming Languages

A course by Lutz Schröder at the Universität Bremen 2003/2004.

Understanding programs, in particular their correctness, requires understanding their precise meaning. This meaning can be given operationally, i.e. in terms of their execution on some abstract machine, or denotationally, i.e. in terms of their input/output behaviour. The course will provide an introduction to operational and denotational semantics of simple imperative and functional programming languages, as well as the relation between these, based mainly on the book

Glynn Winskel: Formal Semantics of Programming Languages, MIT Press, 1993.

Some familiarity with logical and mathematical concepts, as well as with basic functional programming, is expected.

Teaching Material

Problem sheet No. 1
Problem sheet No. 2 NEW: Due date postponed to Wednesday, January 7, 12:00!
Problem sheet No. 3

Author: Dr. Lutz Schröder

wg bkb

Last updated: January 15, 2004