Towards a Generic Trace for Rule Based Constraint Reasoning

Résumé : CHR (Constraint Handling Rules) est un langage de programmation adaptable qui permet de spécifier trés déclarativement des solveurs de contraintes. Un aspect important de leur mise au point concerne leur débogage. Les implantations actuelles de CHR offrent des possiblilités de traces avec relativement peu d'information. Dans ce rapport, nous proposons une nouvelle trace CHR qui contient suffisamment d'information pour analyser potentiellement tous les détails d'exécution de \CHRv, correspondant á un niveau d'analyse abstrait et utile, commun á différentes implémentations. Cette approche est fondée sur l'idée de trace générique. Une telle trace est définie comme une extension de la sémantique $\omega_r^\lor$ de CHR. On montre qu'elle peut être dérivée de la trace CHR de SWI Prolog
Type de document :
Rapport
[Research Report] RR-7939, INRIA. 2012, pp.42
Liste complète des métadonnées

https://hal.inria.fr/hal-00690604
Contributeur : Pierre Deransart <>
Soumis le : mardi 24 avril 2012 - 01:09:55
Dernière modification le : jeudi 22 novembre 2018 - 14:05:26
Document(s) archivé(s) le : mercredi 25 juillet 2012 - 02:21:12

Fichiers

RR-7939.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00690604, version 1
  • ARXIV : 1204.5280

Citation

Armando Gonçalves da Silva Junior, Pierre Deransart, Luis-Carlos Menezes, Marcos-Aurélio Almeida da Silva, Jacques Robin. Towards a Generic Trace for Rule Based Constraint Reasoning. [Research Report] RR-7939, INRIA. 2012, pp.42. 〈hal-00690604〉

Partager

Métriques

Consultations de la notice

548

Téléchargements de fichiers

1374