Aggregates for CHR through Program Transformation

DOI10.1007/978-3-540-78769-3_5MaRDI QIDQ5504593zbMATH OpenOpenAlexFDO

Authors Peter van Weert, Jon Sneyers, Bart Demoen

Publication date 22 January 2009

Published in Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-78769-3_5

Mathematics Subject Classification ID

Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Theory and practice of constraint handling rules
• CHR in action
• Logic Programming
• Welcome to Constraint Handling Rules
• Logic Programming

Cites work

• Aggregates for CHR through Program Transformation
• Logic Programming
• Logic Programming
• Theory and practice of constraint handling rules

Cited in

(4)

• Optimized compilation of multiset rewriting with comprehensions
• Exhaustive Execution of CHR Through Source-to-Source Transformation
• Unfolding for CHR programs
• Aggregates for CHR through Program Transformation

This page was built for publication: Aggregates for CHR through Program Transformation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5504593)