Solving shape-analysis problems in languages with destructive updating

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

Volumn , Issue , 1996, Pages 16-31

  Sagiv, Mooly ^a   Reps, Thomas ^a   Wilhelm, Reinhard ^a  

^a UNIVERSITY OF WISCONSIN MADISON   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); COMPUTER PROGRAM LISTINGS; COMPUTER PROGRAMMING LANGUAGES; DATA STRUCTURES; PROBLEM SOLVING; PROGRAM COMPILERS; STORAGE ALLOCATION (COMPUTER);

ALLOCATION SITE INFORMATION; CIRCULAR LIST NESS; DESTRUCTIVE UPDATING; FINITE SHAPE GRAPH; HEAP ALLOCATED STORAGE; POINTER ANALYSIS PROBLEMS; SHAPE ANALYSIS; SHAPE PRESERVATION PROPERTIES;

ALGORITHMS;

EID: 0029723409     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/237721.237725     Document Type: Conference Paper

References (23)