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

Marc Meister 1 Khalil Djelloul 2 Jacques Robin 3
1 Fakultät für Ingenieurwissenschaften und Informatik
2 Fakultat fur Informatik. Universitat Ulm
3 CIn - Centro de Informatica UFPE [Recife]
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.
Type de document :
Communication dans un congrès
Troisièmes Journées Francophones de Programmationpar Contraintes (JFPC07), Jun 2007, INRIA, Domaine de Voluceau, Rocquencourt, Yvelines France, 2007, JFPC07
Liste complète des métadonnées
https://hal.inria.fr/inria-00151149
Contributeur : Sylvain Soliman <>
Soumis le : vendredi 1 juin 2007 - 16:42:32
Dernière modification le : vendredi 1 juin 2007 - 16:55:31
Document(s) archivé(s) le : vendredi 21 septembre 2012 - 16:05:09

Fichier

50.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00151149, version 1

Collections

JFPC07

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, 2007, JFPC07. 〈inria-00151149〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

99

Téléchargements de fichiers

139

Contact


archive-ouverte@inria.fr