Projects

Academic partners

  • University of Melbourne
  • University of Ulm

Research Projects and Networks

FWO: Platform independent analysis and implementation of Constraint Handling Rules

Period: 2007-01-01 → 2010-12-31
People: Partners:
  • Thom Fruehwirth (University of Ulm)
  • Peter Stuckey (University of Melbourne)
Description:

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.


Back to overview