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.
Document type :
Reports
Complete list of metadatas

https://hal.inria.fr/inria-00073432
Contributor : Rapport de Recherche Inria <>
Submitted on : Wednesday, May 24, 2006 - 12:47:29 PM
Last modification on : Friday, November 16, 2018 - 1:23:45 AM
Long-term archiving on : Sunday, April 4, 2010 - 9:55:50 PM

Identifiers

  • HAL Id : inria-00073432, version 1

Citation

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

Share

Metrics

Record views

226

Files downloads

145