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

Ludovic Langevine 1 Mireille Ducassé 2, *
* Auteur correspondant
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

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〉

Partager

Métriques

Consultations de la notice

431