Design and Implementation of a Tracer Driver: Easy and Efficient Dynamic Analyses of Constraint Logic Programs.

Ludovic Langevine 1 Mireille Ducassé 2, *
* Auteur correspondant
1 SICS
2 LIS - Logical Information Systems
IRISA-D7 - GESTION DES DONNÉES ET DE LA CONNAISSANCE
Type de document :
Article dans une revue
Theory and Practice of Logic Programming, Cambridge University Press (CUP), 2008
Liste complète des métadonnées
https://hal.inria.fr/hal-00756824
Contributeur : Mireille Ducassé <>
Soumis le : vendredi 23 novembre 2012 - 18:06:28
Dernière modification le : mercredi 16 mai 2018 - 11:23:14

Identifiants

  • HAL Id : hal-00756824, version 1

Collections

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

Citation

Ludovic Langevine, Mireille Ducassé. Design and Implementation of a Tracer Driver: Easy and Efficient Dynamic Analyses of Constraint Logic Programs.. Theory and Practice of Logic Programming, Cambridge University Press (CUP), 2008. 〈hal-00756824〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

431

Contact


archive-ouverte@inria.fr