Flow-sensitive alias analysis with referred-set representation for Java

Proceedings - 4th International Conference/Exhibition on High Performance Computing in the Asia-Pacific Region, HPC-Asia 2000

Volumn 1, Issue , 2000, Pages 485-494

  Woo, Jehak ^a   Woo, Jongwook ^b   Gaudiot, Jean Luc ^b  

^a Daejin University   (South Korea)

^b UNIVERSITY OF SOUTHERN CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; C++ (PROGRAMMING LANGUAGE); COMPUTATIONAL LINGUISTICS; EFFICIENCY; HIGH LEVEL LANGUAGES; ITERATIVE METHODS; OBJECT ORIENTED PROGRAMMING;

ALIAS ANALYSIS; DATA FLOW; FLOW SENSITIVE; ITS EFFICIENCIES; PROPAGATION RULE; SET REPRESENTATION;

JAVA PROGRAMMING LANGUAGE;

EID: 3543080431     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HPC.2000.846603     Document Type: Conference Paper

References (12)

1. Hemant D. Pande and Barbara G. Ryder, Static Type Determination and Aliasing for C++, Technical Report LCSR-TR-236, Rutgers University, December 1994.
2. Hemant D. Pande and Barbara G. Ryder, Static Type Determination and Aliasing for C++, Technical Report LCSR-TR-250-A, Rutgers University, October 1995.
3. Ramkrishna Chatterjee and Barbara G. Ryder, Scalable, flow-sensitive type inference for statically typed object-oriented languages, Technical Report DCS-TR-326, Rutgers University, August 1997.
4. Jong-Deok Choi, Michael Burke, and Paul Carini, "Efficient Flow-Sensitive Interprocedural Computation of Pointer-Induced Aliases and Side Effects", The 20th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, 232-245, January 1993.
5. Paul Carini and Marini Srinivasan, Flow-Sensitive Type Analysis for C++, Research Report RC 20267, IBM T. J. Watson Research Center, November 1995.
6. Michael Burke, Paul Carini, and Jong-Deok Choi, Interprocedural Pointer Alias Analysis, Research Report RC 21055, IBM T. J. Watson Research Center, December 1997.
7. Barry K. Rosen, "Data flow analysis for procedural languages", JACM, 26(2):322-344, April 1979.
8. M. Emami, R.Ghiya, and L. J. Hendren, "Context-sensitive interprocedural point-to analysis in the presense of function pointers", SIGPLAN '94 Conference on Programming Language Design and Implementation, 242-256, SIGPLAN Notices, 29(6), 1994
9. Steven S. Muchnick, Advanced Compiler Design and Implementation, Morgan Kaufmann Academic Press, July 1997.
10. D. Diwan, K. S. McKinley, and J. E. B. Moss, "Type-Based Alias Analysis", SIGPLAN '98 Conference on Programming Language Design and Implementation, 106-117, 1998.
11. R. Rugina and M. Rinard, "Pointer Analysis for Multithreaded Programs", Proc. the ACM SIGPLAN 1999 Conference on Programming Languages and Implementation, May 1999.
12. J. Gosling, B. Joy, and G. Steele, The Java Language Specification, Addison-Wesley, 1996.