{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,27]],"date-time":"2025-05-27T08:47:06Z","timestamp":1748335626895},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540672630"},{"type":"electronic","value":"9783540464235"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-46423-9_5","type":"book-chapter","created":{"date-parts":[[2007,10,25]],"date-time":"2007-10-25T19:48:40Z","timestamp":1193341720000},"page":"67-81","source":"Crossref","is-referenced-by-count":14,"title":["A Static Study of Java Exceptions Using JESP"],"prefix":"10.1007","author":[{"given":"Barbara G.","family":"Ryder","sequence":"first","affiliation":[]},{"given":"Donald","family":"Smith","sequence":"additional","affiliation":[]},{"given":"Ulrich","family":"Kremer","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Gordon","sequence":"additional","affiliation":[]},{"given":"Nirav","family":"Shah","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,6,1]]},"reference":[{"key":"5_CR1","unstructured":"K. Arnold and J. Gosling. The Java Programming Language, Second Edition. Addison-Wesley, 1997. 68"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"M. Arnold, M. Hsiao, U. Kremer, and B.G. Ryder. Instruction scheduling in the presence of java\u2019s runtime exceptions. In Proceedings of Workshop on Languages and Compilers for Parallel Computation (LCPC\u201999), August 1999. 68","DOI":"10.1007\/3-540-44905-1_2"},{"key":"5_CR3","unstructured":"D. Brookshier. Exception handling: Simpler, faster, safer. Java Report, 3(2), February 1998. 79"},{"key":"5_CR4","unstructured":"R. Chatterjee. Modular Data-flow Analysis of Statically Typed Object-oriented Programming Languages. PhD thesis, Department of Computer Science, Rutgers University, October 1999. 68, 79"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"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. 68, 79","DOI":"10.1145\/292540.292554"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"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\u201311, September 1999. 68, 79","DOI":"10.1145\/316158.316171"},{"key":"5_CR7","unstructured":"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. 68, 79"},{"key":"5_CR8","first-page":"341","volume":"18","author":"A. Gelsey","year":"1996","unstructured":"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, 18:341\u2013356, 1996. 68","journal-title":"Decision Support Systems-special issue on Unification of Artificial Intelligence with Optimization"},{"key":"5_CR9","unstructured":"J. Gosling, B. Joy, and G. Steele. The Java Language Specification. Addison-Wesley, 1996. 68"},{"key":"5_CR10","unstructured":"M.J. Harrold and S. Sinha. Analysis of programs with exception-handling constructs. In Proceedings of the International Conference on Software Maintenance, November 1998. 68, 79"},{"key":"5_CR11","unstructured":"J. Keane. Knowledge-based Management of Legacy Codes for Automated Design. PhD thesis, Rutgers University, October 1996. 68"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"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. 68","DOI":"10.1109\/KBSE.1996.552828"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"A. Krall and M. Probst. Monitors and exceptions: How to implement java efficiently. In Proceedings of 1998 ACM Java Workshop, 1998. 68, 79","DOI":"10.1002\/(SICI)1096-9128(199809\/11)10:11\/13<837::AID-CPE384>3.0.CO;2-7"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"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. 68, 79","DOI":"10.1007\/3-540-48166-4_20"},{"key":"5_CR15","unstructured":"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. 69"}],"container-title":["Lecture Notes in Computer Science","Compiler Construction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46423-9_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T00:55:22Z","timestamp":1556931322000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46423-9_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540672630","9783540464235"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-46423-9_5","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}