DTAI

DTAI Research Projects FWO: Platform independent analysis and implementation of Constraint Handling Rules

FWO: Platform independent analysis and implementation of Constraint Handling Rules

Period: 01-2007 → 12-2010
Subgroup: analysis
Type: project
Members:

• Maurice Bruynooghe
• Gerda Janssens
• Bart Demoen

External members

• Thom Fruehwirth
• Peter Stuckey

Abstract

This 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.