Generic Program Monitoring by Trace Analysis

Erwan Jahier; Mireille Ducassé

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

Journal articles

Generic Program Monitoring by Trace Analysis

Erwan Jahier ¹ Mireille Ducassé ²

1 VERIMAG - IMAG - VERIMAG

2 LIS - Logical Information Systems

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

Erwan Jahier ¹ AuthorId : 778
Author IdHAL : erwan-jahier

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

1 VERIMAG - IMAG - VERIMAG (Verimag Bâtiment IMAG Université Grenoble Alpes 700, avenue centrale 38401 Saint Martin d’Hères France - France) StructId : 194

CNRS - Centre National de la Recherche Scientifique : UMR5104 (France) StructId : 441569
INPG - Institut National Polytechnique de Grenoble (46 avenue Félix Viallet 38031 Grenoble Cedex 1 - France) StructId : 300275
Grenoble INP - Institut polytechnique de Grenoble - Grenoble Institute of Technology (46 avenue Félix Viallet 38031 Grenoble Cedex 1 - France) StructId : 89889
UJF - Université Joseph Fourier - Grenoble 1 (BP 53 - 38041 Grenoble Cedex 9 - France) StructId : 51016

2 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

Document type :

Journal articles

Domain :

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

Complete list of metadata

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

Identifiers

HAL Id : hal-00756826, version 1

Collections

Citation

Erwan Jahier, Mireille Ducassé. Generic Program Monitoring by Trace Analysis. Theory and Practice of Logic Programming, Cambridge University Press (CUP), 2002. ⟨hal-00756826⟩

Export

BibTeX TEI DC DCterms EndNote

Metrics

Les métriques sont temporairement indisponibles

Generic Program Monitoring by Trace Analysis

Identifiers

Collections

Citation

Export

Share

Metrics

Contact Legal Notice Personal Data