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

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
  - 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
  - UBS - Université de Bretagne Sud (BP 92116 - 56321 Lorient cedex - France) StructId : 172265
  - CNRS - Centre National de la Recherche Scientifique : UMR6074 (France) StructId : 441569
  - ENS Rennes - École normale supérieure - Rennes (Campus de Ker Lann - avenue Robert Schuman - 35170 Bruz - France) StructId : 247362
  - Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France) StructId : 300009
  - 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
  - CentraleSupélec (3, rue Joliot Curie, Plateau de Moulon, 91192 GIF-SUR-YVETTE Cedex - France) StructId : 411575

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 metadatas

https://hal.inria.fr/hal-00756827
Contributor : Mireille Ducassé <>
Submitted on : Friday, November 23, 2012 - 6:16:32 PM
Last modification on : Friday, November 16, 2018 - 1:20:54 AM

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⟩

Tracing Prolog programs by source instrumentation is efficient enough

Identifiers

Collections

Citation

Export

Metrics

341

Contact

Tracing Prolog programs by source instrumentation is efficient enough

Identifiers

Collections

Citation

Export

Share

Metrics

341

Contact