Termination of CHR

FWO, 1/1/2008 to 1/1/2012.
K.U. Leuven (Tom Schrijvers, Paolo Pilozzi, Danny De Schreye, Dean Voets).

more information

GLOB-CON - Rule-Based Propagation of Global Constraints

DFG Project FR 1390/1-1, March 2006-2008.
Project partner is Dr. Sebastian Brand, Melbourne University, Australia.

project description

Platform independent analysis and implementation of Constraint Handling Rules

FWO, 3E060075, 01-01-2007 to 31-12-2010.
K.U. Leuven (Bart Demoen, Maurice Bruynooghe, Gerda Janssens)
University of Melbourne (Peter Stuckey)

The project intends to study and develop new analysis and implementation techniques for the language CHR. The project will focus in particular on the design of an abstract machine for CHR, the optimizing compilation of CHR by means of abstract interpretation, the study of complexity (space and time) properties of CHR and the study of techniques for compile time memory reuse.

more information

ROARS: Reuse-Oriented Automated Reasoning Software

DAAD Probral and CAPES Project 415-br-probral/po/D05/30354, March 2006-2008.
Project partners are Prof. Dr. Jacques Robin, Universidade Federal do Pernambuco (CInUFPE), Recife, Brazil and Prof. Dr. Colin Atkinson, University of Mannheim, Germany and Dr. Armin Wolf, Fraunhofer FIRST, Berlin, Germany.

project description