Analysator: Platform-independent Analysis and Implementation of Constraint Handling Rules

External project partner of Prof. Maurice Bruynooghe, Prof. Gerda Janssens, Prof. Bart Demoen, K.U. Leuven, Belgium, 2007-2010.

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.