Un système de types pour CHR - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2005

Un système de types pour CHR

Francois Fages

Abstract

Nous proposons un système de types général pour le langage des Constraint Handling Rules (CHRs), un langage de règles de réécriture destiné à l'implantation de solveurs de contraintes. Les CHRs étant en fait une extension de haut niveau d'un langage hôte, tel que Prolog ou Java, le système de types est ainsi paramétré par le système de types du langage hôte. Nous montrons la cohérence du système de types pour les CHRs par rapport à leur sémantique opérationnelle. Nous étudions également le cas particulier où le langage hôte est un langage de programmation en logique avec contraintes, typé avec le système de types prescriptif que nous avons développé dans nos précédents travaux. En particulier nous montrons que le système résultant est cohérent avec le modèle d'exécution étendu CLP+CHR. Ce système est implanté à travers une extension du logiciel TCLP de typage des programmes logiques avec contraintes. Nous exposons nos résultats expérimentaux sur la vérification des types de solveurs et programmes utilisant les CHRs, dont le logiciel TCLP lui-même.
Fichier principal
Vignette du fichier
43.pdf (293.96 Ko) Télécharger le fichier

Dates and versions

inria-00000074 , version 1 (26-05-2005)

Identifiers

  • HAL Id : inria-00000074 , version 1

Cite

Emmanuel Coquery, Francois Fages. Un système de types pour CHR. Premières Journées Francophones de Programmation par Contraintes, CRIL - CNRS FRE 2499, Jun 2005, Lens, pp.189-198. ⟨inria-00000074⟩
85 View
72 Download

Share

Gmail Facebook X LinkedIn More