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

https://hal.inria.fr/inria-00151149
Contributor : Sylvain Soliman <>
Submitted on : Friday, June 1, 2007 - 4:42:32 PM
Last modification on : Monday, March 4, 2019 - 1:44:09 PM
Long-term archiving on: : Friday, September 21, 2012 - 4:05:09 PM

File

50.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00151149, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

296

Files downloads

210