Opening book details…
Can I read Opium: an extendable trace analyzer for Prolog on EtoBox?
Opium: an extendable trace analyzer for Prolog by Mireille Ducassé is a Computer Science article available to read on EtoBox.
What is Opium: an extendable trace analyzer for Prolog about?
Traces of program executions are a helpful source of infc~rmation for prograna debugging. They, however, give a picture of program executions at such a low level that use,'; often have dil/,iculties to interpret the information. Opium, our extendable trace analyzer, is connected to a "standard" Prolog tracer. Opium is programmable and extendable. It provides a trace query language and abstract views of executions. Users can therefore examine program executions at the levels of abstraction which suit them. Opium has shown its capabilities to build abstract tracers and automated debugging t2",cilities. This article describes in depth the trace query mechanism, ,erona the model to its impternentatio~ Characteristic examples are detailed. Extensions written so lhr on top of the trace query mechat~ism are listed. Two recent-extensions are presented: the abstract tracers fi~r the LO (Linear Objects) and the CttR (Constraint Handling Rules) languages. These two extensions ,,','ere specified and implemented within a few days. They show how to use Opium for real applications.
Who reads Opium: an extendable trace analyzer for Prolog?
It is typically read by researchers, students, and practitioners in Computer Science.
- Author
- Mireille Ducassé
- Publisher
- Elsevier Science; Elsevier ; Elsevier BV (ISSN 0743-1066)
- Published
- 1999
- Language
- EN
- Field
- Computer Science (Physical Sciences)