{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:35:09Z","timestamp":1750307709672,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":9,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,7,6]],"date-time":"2009-07-06T00:00:00Z","timestamp":1246838400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100004965","name":"Sixth Framework Programme","doi-asserted-by":"publisher","award":["IST-2005-015905"],"award-info":[{"award-number":["IST-2005-015905"]}],"id":[{"id":"10.13039\/501100004965","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2009,7,6]]},"DOI":"10.1145\/1557898.1557906","type":"proceedings-article","created":{"date-parts":[[2009,9,1]],"date-time":"2009-09-01T17:53:09Z","timestamp":1251827589000},"page":"1-6","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["On the interplay between the semantics of Java's finally clauses and the JML run-time checker"],"prefix":"10.1145","author":[{"given":"M.","family":"Huisman","sequence":"first","affiliation":[{"name":"University of Twente Netherlands"}]}],"member":"320","published-online":{"date-parts":[[2009,7,6]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.02.034"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/1777707.1777717"},{"key":"e_1_3_2_1_3_1","series-title":"ENTCS","volume-title":"Formal Methods for Industrial Critical Systems (FMICS","author":"Burdy L.","year":"2003","unstructured":"L. Burdy , Y. Cheon , D. Cok , M. Ernst , J. Kiniry , G. T. Leavens , K. R. M. Leino , and E. Poll . An overview of JML tools and applications . In T. Arts and W. Fokkink, editors, Formal Methods for Industrial Critical Systems (FMICS 2003 ), volume 80 of ENTCS . Elsevier , 2003. L. Burdy, Y. Cheon, D. Cok, M. Ernst, J. Kiniry, G. T. Leavens, K. R. M. Leino, and E. Poll. An overview of JML tools and applications. In T. Arts and W. Fokkink, editors, Formal Methods for Industrial Critical Systems (FMICS 2003), volume 80 of ENTCS. Elsevier, 2003."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30569-9_6"},{"key":"e_1_3_2_1_6_1","volume-title":"Thinking in Java","author":"Eckel B.","year":"2002","unstructured":"B. Eckel . Thinking in Java . Prentice-Hall Inc ., http:\/\/www.mindview.net\/Books\/TIJ\/, 2002 . B. Eckel. Thinking in Java. Prentice-Hall Inc., http:\/\/www.mindview.net\/Books\/TIJ\/, 2002."},{"key":"e_1_3_2_1_7_1","volume-title":"The Java Language Specification","author":"Gosling J.","year":"2005","unstructured":"J. Gosling , B. Joy , G. Steele , and G. Bracha . The Java Language Specification , third edition. The Java Series. Addison-Wesley , 2005 . J. Gosling, B. Joy, G. Steele, and G. Bracha. The Java Language Specification, third edition. The Java Series. Addison-Wesley, 2005."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00593-0_23"},{"key":"e_1_3_2_1_9_1","series-title":"Lecture Notes in Computer Science","first-page":"284","volume-title":"Programming Languages and Systems (ESOP)","author":"Jacobs B.","year":"2001","unstructured":"B. Jacobs . A formalisation of Java's exception mechanism . In D. Sands, editor, Programming Languages and Systems (ESOP) , volume 2028 of Lecture Notes in Computer Science , pages 284 -- 301 . Springer , 2001 . B. Jacobs. A formalisation of Java's exception mechanism. In D. Sands, editor, Programming Languages and Systems (ESOP), volume 2028 of Lecture Notes in Computer Science, pages 284--301. Springer, 2001."},{"key":"e_1_3_2_1_10_1","volume-title":"Java exception handling","author":"Jenkov J.","year":"2005","unstructured":"J. Jenkov . Java exception handling , 2005 --2007. Online tutorial, http:\/\/tutorials.jenkov.com\/java-exception-handling\/index.html. J. Jenkov. Java exception handling, 2005--2007. Online tutorial, http:\/\/tutorials.jenkov.com\/java-exception-handling\/index.html."}],"event":{"name":"ECOOP '09: European Conference on Object-Oriented Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Genova Italy","acronym":"ECOOP '09"},"container-title":["Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1557898.1557906","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1557898.1557906","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:30:09Z","timestamp":1750253409000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1557898.1557906"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,7,6]]},"references-count":9,"alternative-id":["10.1145\/1557898.1557906","10.1145\/1557898"],"URL":"https:\/\/doi.org\/10.1145\/1557898.1557906","relation":{},"subject":[],"published":{"date-parts":[[2009,7,6]]},"assertion":[{"value":"2009-07-06","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}