May 18-22, 2009 at Universita' Ca' Foscari Venezia
Prof. Dr. Thom Frühwirth, University of Ulm, Germany
This compact one week course in English provides an overview of rule-based programming and formalisms
in computer science. We will embed these rule-based systems into the
Constraint Handling Rules (CHR) language. This gives us the possibility to
compare and analyse the different approaches and to get to know the
advanced concurrent constraint-based CHR formalism.
Executive Summary (2 pages) "The story so far"
CHR Tutorial Slides
K.U. Leuven CHR survey
All you ever wanted to know about CHR (CHR website)
Sample exercises: Ex01, Ex02, Ex03; Exercises.
This PhD-level course consists of 20 lecture hours, given as two 2-hour lectures from Monday to Friday. Grading is possible on request. The course is also open for Post-docs and interested Master students. Course material will be provided. Accommodation is on your own.
Once accepted, students will receive information about the location and time of the course, public transport and accommodation hints.
Thom Frühwirth, June 9, 2009.