Alias analysis for Java with reference-set representation

Proceedings of the Internatoinal Conference on Parallel and Distributed Systems - ICPADS

Volumn , Issue , 2001, Pages 459-466

  Woo, Jongwook ^a   Woo, Jehak ^b   Attali, Isabelle ^c   Caromel, Denis ^c   Gaudiot, Jean Luc ^a   Wendelborn, Andrew L ^d  

^a UNIVERSITY OF SOUTHERN CALIFORNIA   (United States)

^b Daejin University   (South Korea)

^c INRIA   (France)

^d UNIVERSITY OF ADELAIDE   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

C (PROGRAMMING LANGUAGE); COMPUTATIONAL METHODS; DATA STRUCTURES; OPTIMIZATION; PARALLEL ALGORITHMS; PARALLEL PROCESSING SYSTEMS; PROGRAM COMPILERS;

CONTEXT-INSENSITIVE ALIAS ANALYSIS; ITERATIVE LOOP METHOD;

JAVA PROGRAMMING LANGUAGE;

EID: 0034857012     PISSN: 15219097     EISSN: None     Source Type: Journal    
DOI: 10.1109/ICPADS.2001.934854     Document Type: Article

References (15)

1. Flow-sensitive alias analysis with referred-set representation for Java
2. Static type determination and aliasing for C++
3. Data-flow-based virtual function resolution
4. Scalable, flow-sensitive type inference for statically typed object-oriented languages
5. Efficient flow-sensitive interprocedural computation of pointer-induced aliases and side effects
6. Flow-sensitive type analysis for C++
7. Interprocedural pointer alias analysis
8. Data flow analysis for procedural languages
9. Context-sensitive interprocedural point-to analysis in the presence of function pointers
10. Alias analysis on type inference for class hierarchy in Java