A unified sematics for CHR in transaction logic. - Archive ouverte HAL Access content directly
Conference Papers Year : 2007

A unified sematics for CHR in transaction logic.


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 (T R) combines CHR rule specification, CHR rule application, and reasoning on CHR programs and CHR derivations inside one formal system which is executable. This new T R semantics obviates the need for disjoint declarative and operational semantics.
Fichier principal
Vignette du fichier
lpnmr.pdf (228.47 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-00202315 , version 1 (05-01-2008)


  • HAL Id : hal-00202315 , version 1


Marc Meister, Khalil Djelloul, Jacques Robin. A unified sematics for CHR in transaction logic.. LPNMR 07, 2007, United States. pp.LNAI, Vol 4483. P 201-213. ⟨hal-00202315⟩
216 View
91 Download


Gmail Mastodon Facebook X LinkedIn More