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

Documents Related by Co-Citation

326 Optimization of Object-Oriented Programs using Static Class Hierarchy Analysis – Jeffrey Dean, David Grove, Craig Chambers - 1995
1616 The Java Language Specification – James Gosling, Bill Joy, Guy Steele - 1996
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
1076 The Java virtual machine specification – T Lindholm, F Yellin - 1996
842 Efficiently computing static single assignment form and the control dependence graph – Ron Cytron, Jeanne Ferrante, Barry K. Rosen, Mark N. Wegman, F. Kenneth Zadeck - 1991
769 The Java Programming Language – Ken Arnold, James Gosling - 1996
696 Interprocedural Slicing Using Dependence Graphs – Susan Horwitz, Thomas Reps, David Binkley - 1990
1280 Program Slicing – M WEISER - 1981
1191 On the Criteria To Be Used in Decomposing Systems into Modules – D. L. Parnas - 1972