Tracing Prolog programs by source instrumentation is efficient enough

Mireille Ducassé; Jacques Noyé

Article Dans Une Revue Journal of Logic Programming Année : 2000

Tracing Prolog programs by source instrumentation is efficient enough

(1) , (2)

1
2

Mireille Ducassé

Fonction : Auteur
PersonId : 12890
IdHAL : mireille-ducasse
ORCID : 0000-0003-1084-4322
IdRef : 133381846

Logical Information Systems

Jacques Noyé

Fonction : Auteur
PersonId : 3292
IdHAL : noye-jacques
IdRef : 189665874

Laboratoire d'Informatique de Nantes Atlantique

CV

Mots clés

Debugging tracing source to source transformation benchmarking Prolog

Domaines

Langage de programmation [cs.PL]

Mireille Ducassé : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-00756827

Soumis le : vendredi 23 novembre 2012-18:16:32

Dernière modification le : mardi 17 septembre 2024-15:54:44

Dates et versions

hal-00756827 , version 1 (23-11-2012)

Identifiants

HAL Id : hal-00756827 , version 1

Citer

Mireille Ducassé, Jacques Noyé. Tracing Prolog programs by source instrumentation is efficient enough. Journal of Logic Programming, 2000. ⟨hal-00756827⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-NANTES EC-PARIS UNIV-RENNES1 CNRS INRIA INSA-RENNES IRISA LINA INFO IRISA-INSA-R IRISA-D7 UR1-MATH-STIC LS2N UR1-UFR-ISTIC UNIV-RENNES IMT-ATLANTIQUE UR1-MATH-NUM NANTES-UNIVERSITE INSTITUT-MINES-TELECOM

194 Consultations

0 Téléchargements

Tracing Prolog programs by source instrumentation is efficient enough

Mots clés

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Partager