OPIUM: An Extendable Trace Analyser for Prolog

Mireille Ducassé 1
1 Lande - Logiciel : ANalyse et DEveloppement
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : Traces of program executions are a helpful source of information for automated debugging. They, however, usually give a too low level picture of the executed program. Opium, our extendable trace analyser for Prolog, is connected to a «standard» tracer. Opium is programmable and extendable. It provides a trace query language and abstract views of executions which solve the problems of low-level traces. Opium has shown its capabilities to build abstract tracers and automated debugging facilities. This article describes the trace query mechanism, from the model to its implementation. Characteristic examples are detailed. Extensions written so far on top of the trace query mechanism are listed. Two recent extensions are presented: the abstract tracers for the LO (Linear Objects) and the CHR (Constraint Handling Rules) languages. These two extensions were specified and implemented within a few days. They show how to use Opium for real applications.
Type de document :
Rapport
[Research Report] RR-3257, INRIA. 1997
Liste complète des métadonnées

https://hal.inria.fr/inria-00073432
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 12:47:29
Dernière modification le : jeudi 11 janvier 2018 - 06:20:09
Document(s) archivé(s) le : dimanche 4 avril 2010 - 21:55:50

Fichiers

Identifiants

  • HAL Id : inria-00073432, version 1

Citation

Mireille Ducassé. OPIUM: An Extendable Trace Analyser for Prolog. [Research Report] RR-3257, INRIA. 1997. 〈inria-00073432〉

Partager

Métriques

Consultations de la notice

169

Téléchargements de fichiers

92