Tracing Prolog programs by source instrumentation is efficient enough

Mireille Ducassé; Jacques Noyé

Home
Submit
Browse all HAL
Inria publications
Search
Services
Help
OpenAccess
- Inria supporting open science

Journal articles

Tracing Prolog programs by source instrumentation is efficient enough

Mireille Ducassé ¹ Jacques Noyé ²

1 LIS - Logical Information Systems

IRISA-D7 - GESTION DES DONNÉES ET DE LA CONNAISSANCE

2 LINA - Laboratoire d'Informatique de Nantes Atlantique

Mireille Ducassé ¹ AuthorId : 64539
Author Employer institution : Institut National de Recherche en Informatique et en Automatique IdHAL : mireille-ducasse

Jacques Noyé ² AuthorId : 1099305
Author Employer institution : IMT Atlantique Bretagne-Pays de la Loire IdHAL : noye-jacques

1 LIS - Logical Information Systems (Campus de Beaulieu 35042 Rennes cedex - France) StructId : 26628

IRISA-D7 - GESTION DES DONNÉES ET DE LA CONNAISSANCE (France) StructId : 419370
- IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires (Avenue du général Leclerc Campus de Beaulieu 35042 RENNES CEDEX - France) StructId : 105128
  - CentraleSupélec (3, rue Joliot Curie, Plateau de Moulon, 91192 GIF-SUR-YVETTE Cedex - France) StructId : 411575
  - Télécom Bretagne (Technopôle Brest-Iroise CS 83818 29238 BREST Cedex 3 - France) StructId : 301262
  - UR1 - Université de Rennes 1 (2 rue du Thabor - CS 46510 - 35065 Rennes cedex - France) StructId : 105160
    - UNIV-RENNES - Université de Rennes (France) StructId : 528860
  - Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France) StructId : 300009
  - ENS Rennes - École normale supérieure - Rennes (Campus de Ker Lann - avenue Robert Schuman - 35170 Bruz - France) StructId : 247362
  - UBS - Université de Bretagne Sud (BP 92116 - 56321 Lorient cedex - France) StructId : 172265
  - CNRS - Centre National de la Recherche Scientifique : UMR6074 (France) StructId : 441569
  - INSA Rennes - Institut National des Sciences Appliquées - Rennes (20, avenue des Buttes de Coësmes - CS 70839 - 35708 Rennes cedex 7 - France) StructId : 117606
    - INSA - Institut National des Sciences Appliquées (France) StructId : 301232
    - UNIV-RENNES - Université de Rennes (France) StructId : 528860

2 LINA - Laboratoire d'Informatique de Nantes Atlantique (LINA - Faculté des Sciences 2 rue de la Houssinière - BP 92208 44322 NANTES CEDEX 3 - France) StructId : 95421

CNRS - Centre National de la Recherche Scientifique : UMR6241 (France) StructId : 441569
Mines Nantes - Mines Nantes (La Chantrerie - 4, rue Alfred Kastler - BP 20722 - 44307 Nantes cedex 3 - France) StructId : 84538
UN - Université de Nantes (1, quai de Tourville - BP 13522 - 44035 Nantes cedex 1 - France) StructId : 93263

Keywords : Debugging tracing source to source transformation benchmarking Prolog

Document type :

Journal articles

Domain :

Computer Science [cs] / Programming Languages [cs.PL]

Complete list of metadata

https://hal.inria.fr/hal-00756827
Contributor : Mireille Ducassé Connect in order to contact the contributor
Submitted on : Friday, November 23, 2012 - 6:16:32 PM
Last modification on : Tuesday, October 19, 2021 - 11:58:50 PM

Identifiers

HAL Id : hal-00756827, version 1

Collections

Citation

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

Export

BibTeX TEI DC DCterms EndNote

Metrics

Les métriques sont temporairement indisponibles

Tracing Prolog programs by source instrumentation is efficient enough

Identifiers

Collections

Citation

Export

Share

Metrics

Contact Legal Notice Personal Data