| | |
Summary: Relational Queries Over Program Traces
Simon Goldsmith
University of California,
Berkeley
sfg@eecs.berkeley.edu
Robert O'Callahan
Novell
rocallahan@novell.com
Alex Aiken
Stanford University
aiken@cs.stanford.edu
ABSTRACT
Instrumenting programs with code to monitor runtime behavior is
a common technique for profiling and debugging. In practice, in-
strumentation is either inserted manually by programmers, or au-
tomatically by specialized tools that monitor particular properties.
We propose Program Trace Query Language (PTQL), a language
based on relational queries over program traces, in which program-
mers can write expressive, declarative queries about program be-
havior. We also describe our compiler, PARTIQLE. Given a PTQL
|
