An Automated Debugger for Mercury - Opium-M 0.1 User and Reference Manuals

Mireille Ducassé 1 Erwan Jahier 1
1 Lande - Logiciel : ANalyse et DEveloppement
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : This document gathers the user manual and the reference manual of Opium-M, an analyser of execution traces of Mercury Programs. Opium-M is an adaptation to Mercury of Opium a trace analyser for Prolog. Mercury is a new logic programming language. Its type, mode and determinism declarations enable codes to be generated that is at the same time more efficient and more reliable than with current logic programming languages. The deterministic parts of Mercury programs are as efficient as their C counterparts. Moreover, numerous mistakes are detected at compilation time. However, our industrial partner experience shows that the fewer remaining mistakes, the harder they are to be diagnosed. A high-level debugging tool was thus necessary. Program execution traces given by traditional debuggers provide programmers with useful pieces of information. However, using them requires to analyse by hand huge amounts of information. Opium-M is connected to the traditional tracer of Mercury, it allows execution trace analyses to be automated. It provides a relational trace query language based on Prolog which enables users to specify precisely what they want to see in the trace. Opium-M, then, automatically filters out information irrelevant for the users.
Document type :
Reports
Complete list of metadatas

https://hal.inria.fr/inria-00069941
Contributor : Rapport de Recherche Inria <>
Submitted on : Friday, May 19, 2006 - 6:39:21 PM
Last modification on : Friday, November 16, 2018 - 1:23:18 AM
Long-term archiving on : Saturday, April 3, 2010 - 11:26:15 PM

Identifiers

  • HAL Id : inria-00069941, version 1

Citation

Mireille Ducassé, Erwan Jahier. An Automated Debugger for Mercury - Opium-M 0.1 User and Reference Manuals. [Research Report] RT-0231, INRIA. 1999, pp.104. ⟨inria-00069941⟩

Share

Metrics

Record views

489

Files downloads

179