Efficient and Precise Modeling of Exceptions for the Analysis of Java Programs (1999)


Download Links

by Jong-deok Choi , David Grove , Michael Hind , Vivek Sarkar
Venue:In Proceedings of the ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering
Citations:63 - 4 self

Documents Related by Co-Citation

324 Optimization of Object-Oriented Programs using Static Class Hierarchy Analysis – Jeffrey Dean, David Grove, Craig Chambers - 1995
169 The Jalapeño Dynamic Optimizing Compiler for Java – Michael G. Burke, Jong-Deok Choi, Stephen Fink, David Grove, Michael Hind, Vivek Sarkar, Mauricio J. Serrano, V. C. Sreedhar, Harini Srinivasan, John Whaley - 1999
109 Practicing JUDO: Java under dynamic optimizations – M Cierniak, G Lueh, J Stichnoth - 2000
1613 The Java Language Specification – James Gosling, Bill Joy, Guy Steele - 1996
28 Static analysis to support the evolution of exception structure in object-oriented systems – Martin P. Robillard, Gail C. Murphy - 2003
121 Scaling Java points-to analysis using Spark – Ondrej Lhoták, Laurie Hendren - 2003
32 Interprocedural Exception Analysis for Java – Byeong-mo Chang, Jang-wu Jo, Kwangkeun Yi, Kwang-moo Choe - 2001
244 Fast static analysis of C++ virtual function calls – D BACON, P SWEENEY - 1996
6 Complexity of Points-to Analysis of Java in the Presence of Exceptions – Ramkrishna Chatterjee, Barbara G. Ryder, William A. Landi - 2001
14 Automated support for development, maintenance, and testing in the presence of implicit control flow – Saurabh Sinha, Ro Orso, Mary Jean Harrold - 2004
15 A Study of Exception Handling and Its Dynamic Optimization in Java – Takeshi Ogasawara, Hideaki Komatsu, Toshio Nakatani - 2001
19 Criteria for Testing Exception-Handling Constructs in Java Programs – Saurabh Sinha, Mary Jean Harrold - 1999
230 Compositional Pointer and Escape Analysis for Java Programs – John Whaley, Martin Rinard - 1999
105 Debugging Optimized Code with Dynamic Deoptimization – Urs Hölzle, Craig Chambers, David Ungar - 1992
21 Dependence Analysis for Java – Craig Chambers, Igor Pechtchanski, Vivek Sarkar, Mauricio J. Serrano, Harini Srinivasan - 1999
34 Analysis and Testing of Programs with Exception-Handling Constructs – Saurabh Sinha, Mary Jean Harrold - 1999
25 Optimizing Java Programs in the Presence of Exceptions – Manish Gupta, Jong-Deok Choi, Michael Hind - 2000
13 Efficient and precise modeling of exceptions for the analysis of Java programs – J-D Choi, D Grove, M Hind, V Sarkar - 1999
65 The Java Programming Language, Second Edition – K Arnold, J Gosling - 1998