Unfolding for CHR programs

DOI10.1017/S1471068413000288zbMath1379.68064arXiv1307.0679MaRDI QIDQ4592981

Maria Chiara Meo, Herbert Wiklicky, Maurizio Gabbrielli, Paolo Tacchella

Publication date: 9 November 2017

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1307.0679

zbMATH Keywords

confluenceprogram transformationterminationunfoldingCHR (constraint handling rules)

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (1)

Transactions in Constraint Handling Rules

Cites Work

• Unnamed Item
• Unnamed Item
• Logic based program synthesis and transformation. 13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25--27, 2003. Revised selected papers.
• CHR(PRISM)-based probabilistic logic learning
• Constraint Handling Rules
• Theory and practice of constraint handling rules
• Logic Programming
• Attributed Data for CHR Indexing
• Specialization of Concurrent Guarded Multi-set Transformation Rules
• Logic Programming
• Transactions in Constraint Handling Rules

This page was built for publication: Unfolding for CHR programs