 |
Université d'Orléans |  |
|
Université d'Orléans | |
| HAL: hal-00202315, version 1 |
| Detailed view |  Export this paper |
 |
| LPNMR 07, United States (2007) |
|
|
|
|
| A unified sematics for CHR in transaction logic. |
|
|
| Marc Meister 1Khalil Djelloul 2 |
|
|
| (2007) |
|
|
|
| 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. |
|
|
|
|
|
|
|
|
|
|
|
| 1: | Fakultät für Ingenieurwissenschaften und Informatik |
|
|
|
Universität Ulm |
|
|
| 2: | Laboratoire d'Informatique Fondamentale d'Orléans (LIFO) |
|
|
|
Université d'Orléans : EA4022 – Ecole Nationale Supérieure d'Ingénieurs de Bourges |
|
|
| 3: | Centro de Informática |
|
|
|
Universidade Federal de Pernambuco |
|
|
|
|
|
|
|
|
|
| Subject | : | Computer Science/Logic in Computer Science |
|
|
| Attached file list to this document: | |||||
|
|||||
|
|
|
| hal-00202315, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00202315 | |
| oai:hal.archives-ouvertes.fr:hal-00202315 | |
| From: Khalil Djelloul | |
| Submitted on: Saturday, 5 January 2008 03:20:29 | |
| Updated on: Sunday, 6 January 2008 18:38:18 | |
