Opium: An extendable trace analyser for Prolog.

Mireille Ducassé 1
1 LIS - Logical Information Systems
IRISA-D7 - GESTION DES DONNÉES ET DE LA CONNAISSANCE
Keywords : Prolog Software Engineering Automated Debugging Trace Query Language Program Execution Analysis Abstract Views of Program Executions Prolog.
Type de document :
Article dans une revue
Journal of Logic Programming, Elsevier, 1999
Liste complète des métadonnées
https://hal.inria.fr/hal-00756828
Contributeur : Mireille Ducassé <>
Soumis le : vendredi 23 novembre 2012 - 18:20:21
Dernière modification le : mercredi 16 mai 2018 - 11:23:14

Identifiants

  • HAL Id : hal-00756828, version 1

Collections

IRISA | IRISA-INSA-R | IRISA-D7 | INRIA | UR1-UFR-ISTIC | UNIV-RENNES

Citation

Mireille Ducassé. Opium: An extendable trace analyser for Prolog.. Journal of Logic Programming, Elsevier, 1999. 〈hal-00756828〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

572

Contact


archive-ouverte@inria.fr