Paper Info
Title
Trace-based program analysis
Year
DOI
Venue
1996
10.1145/237721.237776
POPL
Keywords
Field
DocType
trace-based program analysis,relational calculus,operational semantics,program analysis,symmetry,formal specification,z notation
Transition system,Z notation,Alias,Operational semantics,Programming language,Software pipelining,Computer science,Theoretical computer science,Formal specification,Program analysis,Semantics
Conference
ISBN
Citations 
PageRank 
0-89791-769-3
13
0.74
References 
Authors
19
2
Name
Order
Citations
PageRank
Christopher Colby123718.39
Peter Lee 00012975147.71