Termination of CHR
FWO, 1/1/2008 to 1/1/2012.
K.U. Leuven (Tom Schrijvers, Paolo Pilozzi, Danny De Schreye, Dean Voets).
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.
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.
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.