A static study of java exceptions using JESP

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1781, Issue , 2000, Pages 67-81

  Ryder, Barbara G ^a   Smith, Donald ^a   Kremer, Ulrich ^a   Gordon, Michael ^a   Shah, Nirav ^a  

^a RUTGERS UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

PROGRAM COMPILERS;

BY-CATCH; COMPILER WRITERS; JAVA CODES; JAVA EXCEPTIONS; JAVA SOURCE CODES;

JAVA PROGRAMMING LANGUAGE;

EID: 31744450374     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46423-9_5     Document Type: Conference Paper

References (15)

1. K. Arnold and J. Gosling. The Java Programming Language, Second Edition. Addison-Wesley, 1997.
2. M. Arnold, M. Hsiao, U. Kremer, and B.G. Ryder. Instruction scheduling in the presence of java’s runtime exceptions. In Proceedings of Workshop on Languages and Compilers for Parallel Computation (LCPC’99), August 1999.
3. D. Brookshier. Exception handling: Simpler, faster, safer. Java Report, 3(2), February 1998.
4. R. Chatterjee. Modular Data-flow Analysis of Statically Typed Object-oriented Programming Languages. PhD thesis, Department of Computer Science, Rutgers University, October 1999.
5. Ramkrishna Chatterjee, Barbara G. Ryder, and William. A Landi. Relevant context inference. In Conference Record of the Twenty-sixth Annual ACM SIGACT/SIGPLAN Symposium on Principles of Programming Languages, January 1999.
6. J.-D. Choi, D. Grove, M. Hind, and V. Sarkar. Efficient and precise modeling of exceptions for the analysis of java programs. In Proceedings of the ACM SIGPLAN/ SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, pages 1-11, September 1999.
7. R. Fitzgerald, T.B. Knoblock, E. Rif, B. Steensgaard, and D. Tarditi. Marmot: An optimizing compilr for java. Technical Report Technical Report MSR-TR-99-33, Microsoft Research, June 1999.
8. Andrew Gelsey, Don Smith, Mark Schwabacher, Khaled Rasheed, and Keith Miyake. A search space toolkit. Decision Support Systems - special issue on Unification of Artificial Intelligence with Optimization,:341-356, 1996.
9. J. Gosling, B. Joy, and G. Steele. The Java Language Specification. Addison-Wesley, 1996.
10. M.J. Harrold and S. Sinha. Analysis of programs with exception-handling constructs. In Proceedings of the International Conference on Software Maintenance, November 1998.
11. J. Keane. Knowledge-based Management of Legacy Codes for Automated Design. PhD thesis, Rutgers University, October 1996.
12. J. Keane and T. Ellman. Knowledge-based re-engineering of legacy programs for robustness in automated designs. In Proceedings of the Eleventh Knowledge-Based Software Engineering Conference, 1996.
13. A. Krall and M. Probst. Monitors and exceptions: How to implement java efficiently. In Proceedings of 1998 ACM Java Workshop, 1998.
14. M. Robillard and G. Murphy. Analyzing exception flow in java programs. In Proceedings of the 7th Annual ACM SIGSOFT Symposium on the Foundations of Software Engineering, September 1999.
15. Raja Vallee-Rai, Laurie Hendren, Vijay Sundaresan, Patrick Lamand Etienne Gagnon, and Phong Co. Soot - a java optimization framework. In CASCON99, Toronto, Ontario, September 1999.