| HAL-Inria | Publications, software ... of Inria's scientists |
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.
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
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)