Tracing Prolog programs by source instrumentation is efficient enough

Mireille Ducassé; Jacques Noyé

Accueil
Déposer
Consulter tout HAL
Publications Inria
Recherche
Services
Documentation
OpenAccess
- Inria soutient la science ouverte

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

Auteur Etablissement employeur : Institut National de Recherche en Informatique et en Automatique IdHAL : mireille-ducasse

Jacques Noyé ² AuthorId : 1099305

Auteur Etablissement employeur : 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

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

Type de document :

Article dans une revue

Journal of Logic Programming, Elsevier, 2000

Domaine :

Informatique [cs] / Langage de programmation [cs.PL]

Liste complète des métadonnées

https://hal.inria.fr/hal-00756827
Contributeur : Mireille Ducassé <>
Soumis le : vendredi 23 novembre 2012 - 18:16:32
Dernière modification le : vendredi 16 novembre 2018 - 01:20:54

Identifiants

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

Identifiants

Collections

Citation

Exporter

Métriques

301

Contact

Tracing Prolog programs by source instrumentation is efficient enough

Identifiants

Collections

Citation

Exporter

Partager

Métriques

301

Contact