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
Mail :
Author IdHAL : erwan-jahier

Mireille Ducassé ² AuthorId : 64539
Mail :
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

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

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
  - 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

Document type :

Journal articles

Domain :

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

Complete list of metadatas

https://hal.inria.fr/hal-00756826
Contributor : Mireille Ducassé <>
Submitted on : Friday, November 23, 2012 - 6:12:23 PM
Last modification on : Wednesday, July 8, 2020 - 4:53:34 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⟩

Generic Program Monitoring by Trace Analysis

Identifiers

Collections

Citation

Export

Metrics

534

Contact Legal Notice Personal Data

Generic Program Monitoring by Trace Analysis

Identifiers

Collections

Citation

Export

Share

Metrics

534

Contact Legal Notice Personal Data