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

Cached

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:52 - 4 self

Documents Related by Co-Citation

302 Optimization of Object-Oriented Programs using Static Class Hierarchy Analysis – Jeffrey Dean, David Grove, Craig Chambers - 1995
30 Interprocedural Exception Analysis for Java – Byeong-mo Chang, Jang-wu Jo, Kwangkeun Yi, Kwang-moo Choe - 2001
159 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
1542 A.: The Java Language Specification – J Gosling, B Joy, G Steele, G Bracha, Buckley - 2012
105 Scaling Java points-to analysis using Spark – Ondrej Lhoták, Laurie Hendren - 2003
105 Practicing JUDO: Java under dynamic optimizations – Michae̷l Cierniak, Guei-Yuan Lueh, James M Stichnoth
223 P.F.: Fast static analysis of C++ virtual function calls – D F Bacon, Sweeney - 1996
628 Interprocedural Slicing Using Dependence Graphs – Susan Horwitz, Thomas Reps, David Binkley - 1990
28 Analyzing Exception Flow in Java Programs – Martin P. Robillard, Gail C. Murphy - 1999
24 Static analysis to support the evolution of exception structure in object-oriented systems – Martin P. Robillard, Gail C. Murphy - 2003
211 Compositional Pointer and Escape Analysis for Java Programs – John Whaley, Martin Rinard - 1999
270 The Jalapeño virtual machine – B Alpern, D Attanasio, J J Barton, M G Burke, J-D Choi P Cheng, A Cocchi, S J Fink, D Grove, M Hind, S Flynn Hummel, D Lieber, V Litvinov, M Mergen, T Ngo, J R Russell, V Sarkar, M J Serrano, J Shepherd, S Smith, V C Sreedhar, H Srinivasan, J Whaley - 2000
18 Criteria for Testing Exception-Handling Constructs in Java Programs – Saurabh Sinha, Mary Jean Harrold - 1999
13 A Study of Exception Handling and Its Dynamic Optimization in Java – Takeshi Ogasawara, Hideaki Komatsu, Toshio Nakatani - 2001
84 Points-to Analysis for Java Using Annotated Constraints – Atanas Rountev, Ana Milanova, Barbara G. Ryder - 2001
1023 Yellin F. Java Virtual Machine Specification – T Lindholm - 1999
15 Analysis of programs with exception-handling constructs – Saurabh Sinha, Mary Jean Harrold - 1998
57 Type-Based Analysis of Uncaught Exceptions – Xavier Leroy, François Pessaux - 1998
11 A static study of java exceptions using jesp – Barbara G. Ryder, Donald Smith, Ulrich Kremer, Michael Gordon - 2000