| Home > Publications > Reports > Informatics (CW) |
CW 499
Leslie De Koninck, Peter J. Stuckey, Gregory J. Duck
Optimized compilation of CHRrp
Abstract
Constraint Handling Rules were recently extended with user-definable rule priorities. This paper shows how this extended language can be efficiently compiled into the underlying host language. It extends previous work by supporting rules with a dynamic priority and by introducing various optimizations. The effects of the optimizations are empirically evaluated and the new compiler is compared with the state-of-the-art K.U.Leuven CHR system.
report.pdf (214K) / mailto: L. De Koninck