Exhaustive Execution of CHR Through Source-to-Source Transformation

DOI10.1007/978-3-319-17822-6_4zbMath1457.68040OpenAlexW1198458162MaRDI QIDQ2949701

Amira Zaki, Ahmed Elsawy, Slim Abdennadher

Publication date: 2 October 2015

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-319-17822-6_4

zbMATH Keywords

constraint handling rulessource-to-source transformationexecution flow controlexhaustive executionsearch space exploration

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (1)

Combining Forward and Backward Propagation

Cites Work

• As time goes by: Constraint Handling Rules
• A complete and terminating execution model for Constraint Handling Rules
• Observable Confluence for Constraint Handling Rules
• A Flexible Search Framework for CHR
• Constraint Handling Rules
• Logic Programming
• Logic Based Program Synthesis and Transformation

This page was built for publication: Exhaustive Execution of CHR Through Source-to-Source Transformation