Trace-based program analysis

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn , Issue , 1996, Pages 195-207

  Colby, Christopher ^a   Lee, Peter ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; DATA STRUCTURES; ITERATIVE METHODS; MATHEMATICAL MODELS; OPTIMIZATION; PIPELINE PROCESSING SYSTEMS; PROGRAM DEBUGGING; PROGRAMMING THEORY; RECURSIVE FUNCTIONS; SOFTWARE ENGINEERING; SYSTEMS ANALYSIS;

DATA ALIAS DETECTION; FINITE REPRESENTATION; LOOP INVARIANT REMOVAL; OPERATIONAL SEMANTICS; SOFTWARE PIPELINING; TRACE BASED PROGRAM ANALYSIS; TRANSFER TRANSITION SYSTEMS;

COMPUTATIONAL LINGUISTICS;

EID: 0029713032     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/237721.237776     Document Type: Conference Paper

References (29)