Erwan Jahier, et al.  Home/Search
Context Related
| inria.fr/INRIA/publicat...RR4323.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: inria.fr/rrrt/rr4323 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Program execution monitoring consists of checking whole executions for given properties in order to collect global run-time information. Monitoring is very useful to maintain programs. However, application developers face the following dilemma: either they use existing tools which never exactly t their needs, or they invest a lot of eoeort to implement monitoring code. In this report we argue that, when an event-oriented tracer exists, the compiler developers can enable the application... (Update)
Context of citations to this paper: More
...ideas for collecting information about nondeterministic branching points. A more recent reference is the work by Jahier and Ducass e [20, 21], which proposes a program execution monitor to gather data about Mercury executions. For this purpose, they de ne a high level...
Cited by: More
Analyzing Debugging ILP Data Mining Query Execution - Remko Troncon Dept (Correct)
A Generic Trace Model for Finite Domain Solvers - Deransart, Ducassé.. (2002) (Correct)
Symbolic Profiling for Multi-Paradigm Declarative Languages - Albert, Vidal (2002) (Correct)
Active bibliography (related documents): More All
0.7: A Generic Approach to Monitor Program Executions - Jahier, Ducassé (1999) (Correct)
0.5: Specifying Prolog Trace Models with a Continuation.. - Jahier, Ducassé.. (2000) (Correct)
0.5: Combining Monitors for Runtime System Verification - Levy, Saïdi, Uribe (2002) (Correct)
Similar documents based on text: More All
0.6: Generic Program Monitoring by Trace Analysis - Jahier, Ducassé (2001) (Correct)
0.1: Unknown - Isrn Inria Rr-- (Correct)
0.1: Multipoint Relaying: An Efficient Technique for.. - Qayyum, Viennot.. (2000) (Correct)
BibTeX entry: (Update)
E. Jahier and M. Ducasse. Generic Program Monitoring by Trace Analysis. Theory and Practice of Logic Programming, 2(4,5), 2002. http://citeseer.ist.psu.edu/jahier02generic.html More
@misc{ jahier02generic,
author = "E. Jahier and M. Ducasse",
title = "Generic Program Monitoring by Trace Analysis",
text = "E. Jahier and M. Ducasse. Generic Program Monitoring by Trace Analysis.
Theory and Practice of Logic Programming, 2(4,5), 2002.",
year = "2002",
url = "citeseer.ist.psu.edu/jahier02generic.html" }
Citations (may not include all citations):237 Software testing techniques (context) - Beizer - 1990
172 An introduction to the theory of lists (context) - Bird - 1987
140 Using program slicing in software maintenance - Gallagher, Lyle - 1991
78 Debugging heterogeneous distributed systems using event-base.. (context) - Bates - 1995
50 Software Visualization: Programming as a Multimedia Experien.. (context) - Stasko, Domingue et al. - 1998
46 Types in Logic Programming (context) - Pfenning - 1992
28 A new approach to debugging optimized code (context) - Brooks, Hansen et al. - 1992
25 concurrent checking of pointer and array accesses in C progr.. (context) - Patil, Fischer - 1997
20 High-performance logic programming with the Aquarius Prolog .. (context) - Van Roy, Despain - 1992
20 A debugger for Standard ML - Tolmach, Appel - 1995
20 Monitoring semantics: a formal framework for specifying (context) - Kishon, Hudak et al. - 1991
18 A tutorial on the universality and expressiveness of fold - Hutton - 1999
9 improved programmable debugger (context) - Olsson, Crawford et al. - 1990
8 Semantics directed program execution monitoring (context) - Kishon, Hudak - 1995
8 Using assertions in declarative and operational models for a.. (context) - Fritzson, Auguston et al. - 1994
8 Coca: An automated debugger for C (context) - Ducass - 1999
8 Special issue on Synthesis (context) - Ducass, An et al. - 1999
7 Optimally proling and tracing programs (context) - Ball, Larus - 1992
7 Generic techniques for source-level debugging and dynamic pr.. - Tip - 1995
6 Understanding the control AEow of Prolog programs (context) - Byrd - 1980
6 The Transparent Prolog Machine TPM: an execution model and g.. (context) - Eisenstadt, Brayshaw - 1988
6 Tracing Prolog programs by source instrumentation is eOEcien.. (context) - Ducass, Noy - 2000
5 The implementation technology of the mercury debugger - Somogyi, Henderson - 1999
5 Linear and structural event sequence analysis (context) - Howden, Shi - 1996
3 User and Reference Manuals (context) - Jahier, Ducass - 1999
3 Drawing graphs with dot - Koutsoos, North - 1991
2 A lightweight architecture for program execution monitoring (context) - Jeoeery, Zhou et al. - 1998
1 Towards automatic performance debugging tools (context) - Gerndt - 2000
1 an eOEcient purely declarative logic programming language (context) - Somogyi, Henderson et al. - 1996
1 Un traceur d'ex#cutions de programmes ne sert pas qu'au d#bo.. (context) - Jahier, Ducass - 1999
1 Analyse dynamique de programmes : mise en oeuvre automatis#e.. (context) - Jahier - 2000
1 ATOM: A AEexible interface for building high performance pro.. (context) - Eustace, Srivastava - 1995
1 Program monitoring and visualization (context) - Jeoeery - 1999
1 Does OO sync with the way we think (context) - Hatton - 1997
Documents on the same site (http://www.inria.fr/rrrt/rr-4323.html):
Generic Program Monitoring by Trace Analysis - Jahier, Ducassé (2001) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC