3 datasets found

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....

International audience

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...