Une sémantique observationnelle du modèle des boîtes pour la résolution de programmes logiques

Pierre Deransart 1 Mireille Ducassé 2 Gérard Ferrand 3
1 CONTRAINTES - Constraint programming
Inria Paris-Rocquencourt
2 LIS - Logical Information Systems
IRISA-D7 - GESTION DES DONNÉES ET DE LA CONNAISSANCE
3 LIFO - Laboratoire d'Informatique Fondamentale d'Orléans
Résumé : Dans cet article on étudie une présentation originale du modèle des boîtes de Byrd basée sur la notion de sémantique observationnelle. Cette approche permet de rendre compte de la sémantique des traceurs Prolog indépendamment d'une implantation particulière. Le schéma explicatif obtenu est une présentation formelle épurée d'une trace considérée en général comme plutôt obscure et difficile à utiliser. Ilpeut constituer une approche simple et pédagogique tant pour l'enseignement (par sa forme épurée) que pour les implantations de traceurs Prolog dont ilconstitue une forme de spécification. Ceci, en fait, n'est qu'un exemple pour illustrer une problématique générale relative aux traceurs et aux processus observants qui ne connaissent duprocessus observé que sa trace. La question est alors de pouvoir reconstituer par l'analyse de la trace l'essentiel du processus observé, et si possible,sans perte d'information. Notre approche met en évidence les qualités du modèle des boîtes qui en ont fait son succès, mais aussi ses inconvénients et ses limites.
Type de document :
Communication dans un congrès
Troisièmes Journées Francophones de Programmationpar Contraintes (JFPC07), Jun 2007, Rocquencourt / France, France. 2007
Liste complète des métadonnées

Littérature citée [17 références]  Voir  Masquer  Télécharger
https://hal.inria.fr/inria-00151138
Contributeur : Sylvain Soliman <>
Soumis le : vendredi 1 juin 2007 - 16:36:50
Dernière modification le : jeudi 15 novembre 2018 - 11:57:36
Document(s) archivé(s) le : jeudi 8 avril 2010 - 18:42:54

Fichier

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

Identifiants

  • HAL Id : inria-00151138, version 1

Collections

INRIA | UNIV-ORLEANS | INSA-RENNES | JFPC07 | IRISA | MSL | IRISA-INSA-R | MSL-THESE | IRISA-D7 | UR1-UFR-ISTIC | UNIV-RENNES | INRIA-ROCQ

Citation

Pierre Deransart, Mireille Ducassé, Gérard Ferrand. Une sémantique observationnelle du modèle des boîtes pour la résolution de programmes logiques. Troisièmes Journées Francophones de Programmationpar Contraintes (JFPC07), Jun 2007, Rocquencourt / France, France. 2007. 〈inria-00151138〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

518

Téléchargements de fichiers

136

Contact


archive-ouverte@inria.fr