HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Une sémantique complète pour CHR en logique des transactions

Abstract : Reasoning on Constraint Handling Rules (CHR) programs and their executional behaviour is often ad-hoc and outside of a formal system. This is a pity, because \chr\ subsumes a wide range of important automated reasoning services. Mapping \chr\ to Transaction Logic (\tr) combines \chr\ rule specification, \chr\ rule application, and reasoning on \chr\ programs and \chr\ derivations inside one formal system which is executable. This new \tr\ semantics obviates the need for disjoint declarative and operational semantics.
Document type :
Conference papers
Complete list of metadata

Contributor : Sylvain Soliman Connect in order to contact the contributor
Submitted on : Friday, June 1, 2007 - 4:42:32 PM
Last modification on : Friday, April 8, 2022 - 1:44:10 PM
Long-term archiving on: : Friday, September 21, 2012 - 4:05:09 PM


Files produced by the author(s)


  • HAL Id : inria-00151149, version 1



Marc Meister, Khalil Djelloul, Jacques Robin. Une sémantique complète pour CHR en logique des transactions. Troisièmes Journées Francophones de Programmationpar Contraintes (JFPC07), Jun 2007, INRIA, Domaine de Voluceau, Rocquencourt, Yvelines France. ⟨inria-00151149⟩



Record views


Files downloads