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
  - 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
  - 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
  - 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
  - CentraleSupélec (3, rue Joliot Curie, Plateau de Moulon, 91192 GIF-SUR-YVETTE Cedex - France) StructId : 411575
  - CNRS - Centre National de la Recherche Scientifique : UMR6074 (France) StructId : 441569

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

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
CNRS - Centre National de la Recherche Scientifique : UMR6241 (France) StructId : 441569

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 : Thursday, January 7, 2021 - 4:18:31 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⟩

Tracing Prolog programs by source instrumentation is efficient enough

Identifiers

Collections

Citation

Export

Metrics

402

Contact Legal Notice Personal Data

Tracing Prolog programs by source instrumentation is efficient enough

Identifiers

Collections

Citation

Export

Share

Metrics

402

Contact Legal Notice Personal Data