Transactions in Constraint Handling Rules

DOI10.1007/978-3-540-89982-2_44MaRDI QIDQ5504677zbMATH OpenOpenAlexFDO

Authors Tom Schrijvers, Martin Sulzmann

Publication date 22 January 2009

Published in Logic Programming (Search for Journal in Brave)

Full work available at URL https://lirias.kuleuven.be/handle/123456789/197677

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• A Unified Semantics for Constraint Handling Rules in Transaction Logic
• Parallelism, concurrency and distribution in constraint handling rules: a survey
• A compositional semantics for CHR
• Concurrent goal-based execution of constraint handling rules
• Welcome to Constraint Handling Rules

Cites work

• A Concurrent Calculus with Atomic Transactions
• Confluence and semantics of constraint simplification rules
• Guard Reasoning in the Refined Operational Semantics of CHR
• Logic Programming
• Observable Confluence for Constraint Handling Rules
• Optimal union-find in Constraint Handling Rules
• Theory and practice of constraint handling rules
• Transactions in Constraint Handling Rules
• Unfolding for CHR programs

Cited in

(8)

• Concurrent goal-based execution of constraint handling rules
• Constraint Handling Rules
• Parallelism, concurrency and distribution in constraint handling rules: a survey
• Unfolding for CHR programs
• A Unified Semantics for Constraint Handling Rules in Transaction Logic
• Specialization of Concurrent Guarded Multi-set Transformation Rules
• Transactions in Constraint Handling Rules
• CONCUR 2005 – Concurrency Theory

This page was built for publication: Transactions in Constraint Handling Rules

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