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

Abstract : This report specifies an observational semantics and gives an original presentation of the Byrd's box model. The approach accounts for the semantics of Prolog tracers independently of a particular implementation. Traces are, in general, considered as rather obscure and difficult to use. The proposed formal presentation of a trace constitutes a simple and pedagogical approach for teaching Prolog or for implementing Prolog tracers. It constitutes a form of declarative specification for the tracers. Our approach highlights qualities of the box model which made its success, but also its drawbacks and limits. As a matter of fact, the presented semantics is only one example to illustrate general problems relating to tracers and observing processes. Observing processes know, from observed processes, only their traces. The issue is then to be able to reconstitute by the sole analysis of the trace the main part of the observed process, and if possible, without any loss of information.
Type de document :
Rapport
[Interne] RR-6229, INRIA. 2007, pp.54
Liste complète des métadonnées

Littérature citée [18 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00151285
Contributeur : Rapport de Recherche Inria <>
Soumis le : lundi 25 juin 2007 - 16:02:04
Dernière modification le : vendredi 25 mai 2018 - 12:02:03
Document(s) archivé(s) le : vendredi 25 novembre 2016 - 16:24:17

Fichiers

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

Identifiants

  • HAL Id : inria-00151285, version 3
  • ARXIV : 0706.3159

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 (version étendue). [Interne] RR-6229, INRIA. 2007, pp.54. 〈inria-00151285v3〉

Partager

Métriques

Consultations de la notice

683

Téléchargements de fichiers

199