Alias analysis for Java with reference-set representation
暂无分享,去创建一个
Denis Caromel | Jean-Luc Gaudiot | Andrew L. Wendelborn | Jongwook Woo | Isabelle Attali | Jehak Woo
[1] David Grove,et al. Call graph construction in object-oriented languages , 1997, OOPSLA '97.
[2] David Flanagan,et al. Java in a Nutshell , 1996 .
[3] Laurie J. Hendren,et al. Context-sensitive interprocedural points-to analysis in the presence of function pointers , 1994, PLDI '94.
[4] John Banning,et al. : An Efficient , 2022 .
[5] Jong-Deok Choi,et al. Interprocedural pointer alias analysis , 1999, TOPL.
[6] Amer Diwan,et al. Type-based alias analysis , 1998, PLDI.
[7] GhiyaRakesh,et al. Context-sensitive interprocedural points-to analysis in the presence of function pointers , 1994 .
[8] Denis Caromel,et al. Alias analysis on type inference for class hierarchy in Java , 2001, Proceedings 24th Australian Computer Science Conference. ACSC 2001.
[9] Monica S. Lam,et al. Efficient context-sensitive pointer analysis for C programs , 1995, PLDI '95.
[10] David Detlefs,et al. Garbage collection and local variable type-precision and liveness in Java virtual machines , 1998, PLDI.
[11] Denis Caromel,et al. Towards Seamless Computing and Metacomputing in Java , 1998, Concurr. Pract. Exp..
[12] Barry K. Rosen. Data Flow Analysis for Procedural Languages , 1979, JACM.
[13] Barbara G. Ryder,et al. Scalable, flow-sensitive type inference for statically typed object-oriented languages , 1997 .
[14] Andrew A. Chien,et al. Precise Concrete Type Inference for Object-Oriented Languages , 1994, OOPSLA.
[15] Jong-Deok Choi,et al. Efficient flow-sensitive interprocedural computation of pointer-induced aliases and side effects , 1993, POPL '93.
[16] Barbara G. Ryder,et al. Static Type Determination and Aliasing for C , 1990 .
[17] CaromelDenis,et al. Alias analysis on type inference for class hierarchy in Java , 2001 .
[18] David Grove,et al. Vortex: an optimizing compiler for object-oriented languages , 1996, OOPSLA '96.
[19] Martin C. Rinard,et al. Pointer analysis for multithreaded programs , 1999, PLDI '99.
[20] David F. Bacon,et al. Fast static analysis of C++ virtual function calls , 1996, OOPSLA '96.
[21] David C. Cann,et al. Compilation techniques for high-performance applicative computation , 1989 .
[22] P. Carini. ReportFlow-Sensitive Type Analysis for C + + , 1995 .
[23] Alfred V. Aho,et al. Compilers: Principles, Techniques, and Tools , 1986, Addison-Wesley series in computer science / World student series edition.
[24] Jong-Deok Choi,et al. Efficient and precise modeling of exceptions for the analysis of Java programs , 1999, PASTE '99.
[25] Peter R. Cappello,et al. Javelin: Internet‐based parallel computing using Java , 1997 .
[26] Eugene W. Myers,et al. A precise inter-procedural data flow algorithm , 1981, POPL '81.
[27] Craig Chambers,et al. Whole-program optimization of object-oriented languages , 1996 .
[28] Jean-Luc Gaudiot,et al. Flow-sensitive alias analysis with referred-set representation for Java , 2000, Proceedings Fourth International Conference/Exhibition on High Performance Computing in the Asia-Pacific Region.
[29] Andrew A. Chien,et al. Type Directed Cloning for Object-Oriented Programs , 1995, LCPC.
[30] Barbara G. Ryder,et al. Interprocedural modification side effect analysis with pointer aliasing , 1993, PLDI '93.
[31] Chris J. Scheiman,et al. SuperWeb: research issues in Java-based global computing , 1997, Concurr. Pract. Exp..
[32] Barbara G. Ryder,et al. Data-Flow-Based Virtual Function Resolution , 1996, SAS.
[33] Jens Palsberg,et al. Object-oriented type inference , 1991, OOPSLA '91.
[34] Stephen A. Edwards. The C Language , 2000 .
[35] Steven S. Muchnick,et al. Advanced Compiler Design and Implementation , 1997 .