Sciweavers

Share
LOPSTR
2007
Springer

Aggregates for CHR through Program Transformation

10 years 9 months ago
Aggregates for CHR through Program Transformation
We propose an extension of Constraint Handling Rules (CHR) with aggregates such as sum, count, findall, and min. This new feature significantly improves the conciseness and expressiveness of the language. In this paper, we describe an implementation based on source-to-source transformations to CHR (extended with some low-level compiler directives). We allow user-defined aggregates and nested aggregate expressions over arbitrary guarded conjunctions of constraints. Both an on-demand and an incremental aggregate computation strategy are supported.
Peter Van Weert, Jon Sneyers, Bart Demoen
Added 08 Jun 2010
Updated 08 Jun 2010
Type Conference
Year 2007
Where LOPSTR
Authors Peter Van Weert, Jon Sneyers, Bart Demoen
Comments (0)
books