Efficient flow-sensitive interprocedural computation of pointer-induced aliases and side effects

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

Volumn , Issue , 1993, Pages 232-245

  Choi, Jong Deok ^a   Burke, Michael ^a   Carini, Paul ^a  

^a IBM T J WATSON RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; APPROXIMATION THEORY; COMPUTER PROGRAMMING LANGUAGES; DATA REDUCTION; DATA STRUCTURES;

ALIAS NAMING TECHNIQUE; ALIASING; DATA FLOW ANALYSIS; FLOW SENSITIVE INTERPROCEDURAL ALIAS ANALYSIS; SPARSE REPRESENTATION;

COMPUTER PROGRAMMING;

EID: 0027311335     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/158511.158639     Document Type: Conference Paper

References (22)