Precise interprocedural dataflow analysis via graph reachability

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

Volumn , Issue , 1995, Pages 49-61

  Reps, Thomas ^a   Horwitz, Susan ^a   Sagiv, Mooly ^a  

^a UNIVERSITY OF WISCONSIN MADISON   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; C (PROGRAMMING LANGUAGE); CALCULATIONS; POLYNOMIALS;

DATAFLOW ANALYSIS; GRAPH REACHABILITY;

DATA TRANSFER;

EID: 0029180939     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/199448.199462     Document Type: Conference Paper

References (32)