Specification and synthesis of Haskell programs

Lecture: Wed. 13 -15 h, MZH 7210; Thu. 13-15 h, MZH 7220

Start: Wed 23rd April 2003

Exercises

The functional programming language Haskell (known from the 3rd semester) allows one to develop programs three times faster than with other languages like C++ or Java. This is because  Haskell provides powerful programming concepts. Moreover, Haskell also supports imperative forms of programming. So it is a language which can be (and is being) used also for realistic applications. The functional nature of Haskell makes the specification of programs considerably simpler than for conventional languages. Moreover, it is possible to synthesis programs from their equational specification. This lecture is about the "algebra of programs" designed by Bird and de Moore in their book with the same title. It is based on general equations that characterize data types and programs, and is illustrated with many concrete examples, among others optimization problems.

Contact:

Lutz Schröder www e-mail

Till Mossakowski www e-mail