{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T16:57:12Z","timestamp":1761929832384,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":15,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,8,29]],"date-time":"2016-08-29T00:00:00Z","timestamp":1472428800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,8,29]]},"DOI":"10.1145\/2972206.2972216","type":"proceedings-article","created":{"date-parts":[[2016,8,15]],"date-time":"2016-08-15T18:15:41Z","timestamp":1471284941000},"page":"1-6","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Dependency Safety for Java"],"prefix":"10.1145","author":[{"given":"Dragan","family":"Bo\u0161na\u010dki","sequence":"first","affiliation":[{"name":"Eindhoven University of Technology, MB Eindhoven, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mark","family":"van den Brand","sequence":"additional","affiliation":[{"name":"Eindhoven University of Technology, MB Eindhoven, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philippe","family":"Denissen","sequence":"additional","affiliation":[{"name":"Eindhoven University of Technology, MB Eindhoven, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cornelis","family":"Huizing","sequence":"additional","affiliation":[{"name":"Eindhoven University of Technology, MB Eindhoven, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bart","family":"Jacobs","sequence":"additional","affiliation":[{"name":"Katholieke Universiteit Leuven, Leuven, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ruurd","family":"Kuiper","sequence":"additional","affiliation":[{"name":"Eindhoven University of Technology, MB Eindhoven, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anton","family":"Wijs","sequence":"additional","affiliation":[{"name":"Eindhoven University of Technology, MB Eindhoven, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maciej","family":"Wi\u0142kowski","sequence":"additional","affiliation":[{"name":"Eindhoven University of Technology, MB Eindhoven, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dan","family":"Zhang","sequence":"additional","affiliation":[{"name":"Eindhoven University of Technology, MB Eindhoven, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2016,8,29]]},"reference":[{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2451436.2451458"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-28934-2_8"},{"key":"e_1_3_2_1_4_1","author":"Felber P.","year":"2015","unstructured":"P. Felber , C. Fetzer , V. Gramoli , D. Harmanci , and M. Nowack . Safe Exception Handling with Transactional Memory. In Transactional Memory. Foundations, Algorithms, Tools, and Applications, pages 245--267 , 2015 . P. Felber, C. Fetzer, V. Gramoli, D. Harmanci, and M. Nowack. Safe Exception Handling with Transactional Memory. In Transactional Memory. Foundations, Algorithms, Tools, and Applications, pages 245--267, 2015.","journal-title":"Safe Exception Handling with Transactional Memory. In Transactional Memory. Foundations, Algorithms, Tools, and Applications, pages 245--267"},{"key":"e_1_3_2_1_5_1","volume-title":"Automatic Detection and Masking of Non-Atomic Exception Handling. In 2003 International Conference on Dependable Systems and Networks","author":"Fetzer C.","year":"2003","unstructured":"C. Fetzer , K. H\u00f6gstedt , and P. Felber . Automatic Detection and Masking of Non-Atomic Exception Handling. In 2003 International Conference on Dependable Systems and Networks , 22-25 June 2003 , San Francisco, CA, USA, pages 445--454 , 2003. C. Fetzer, K. H\u00f6gstedt, and P. Felber. Automatic Detection and Masking of Non-Atomic Exception Handling. In 2003 International Conference on Dependable Systems and Networks, 22-25 June 2003, San Francisco, CA, USA, pages 445--454, 2003."},{"key":"e_1_3_2_1_6_1","volume-title":"The Java Language Specification. Java SE 8 Edition","author":"Gosling J.","year":"2015","unstructured":"J. Gosling , B. Joy , G. Steele , G. Bracha , and A. Buckley . The Java Language Specification. Java SE 8 Edition , 2015 . J. Gosling, B. Joy, G. Steele, G. Bracha, and A. Buckley. The Java Language Specification. Java SE 8 Edition, 2015."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786536.2786543"},{"key":"e_1_3_2_1_8_1","volume-title":"Katholieke Universiteit Leuven","author":"Jacobs B.","year":"2015","unstructured":"B. Jacobs , D. Bosnacki , and R. Kuiper . Modular Termination Verification: Extended Version. Cw reports , Katholieke Universiteit Leuven , 2015 . B. Jacobs, D. Bosnacki, and R. Kuiper. Modular Termination Verification: Extended Version. Cw reports, Katholieke Universiteit Leuven, 2015."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEFM.2007.36"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03013-0_22"},{"key":"e_1_3_2_1_11_1","volume-title":"Strong Exception-Safety for Checked and Unchecked Exceptions. Journal of Object Technology, 10(1):1--20","author":"Lagorio G.","year":"2011","unstructured":"G. Lagorio and M. Servetto . Strong Exception-Safety for Checked and Unchecked Exceptions. Journal of Object Technology, 10(1):1--20 , 2011 . G. Lagorio and M. Servetto. Strong Exception-Safety for Checked and Unchecked Exceptions. Journal of Object Technology, 10(1):1--20, 2011."},{"key":"e_1_3_2_1_12_1","first-page":"1","volume-title":"Handling Errors in Parallel Programs Based on Happens Before Relations. In 24th IEEE International Symposium on Parallel and Distributed Processing","author":"Matsakis N. D.","year":"2010","unstructured":"N. D. Matsakis and T. R. Gross . Handling Errors in Parallel Programs Based on Happens Before Relations. In 24th IEEE International Symposium on Parallel and Distributed Processing , Atlanta, Georgia, USA , 19-23 April 2010 , pages 1 -- 8 , 2010. N. D. Matsakis and T. R. Gross. Handling Errors in Parallel Programs Based on Happens Before Relations. In 24th IEEE International Symposium on Parallel and Distributed Processing, Atlanta, Georgia, USA, 19-23 April 2010, pages 1--8, 2010."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2076674.2076681"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/224964.224987"},{"key":"e_1_3_2_1_15_1","volume-title":"MSDN Magazine","author":"Toub S.","year":"2015","unstructured":"S. Toub . Keep Your Code Running with the Reliability Features of the .NET Framework . MSDN Magazine , October 2015 . S. Toub. Keep Your Code Running with the Reliability Features of the .NET Framework. MSDN Magazine, October 2015."},{"key":"e_1_3_2_1_16_1","first-page":"64","volume-title":"AMT@ MoDELS","author":"Zhang D.","year":"2014","unstructured":"D. Zhang , D. Bo\u0161na\u010dki , M. van den Brand , L. Engelen , C. Huizing , R. Kuiper , and A. Wijs . Towards Verified Java Code Generation from Concurrent State Machines . In AMT@ MoDELS , pages 64 -- 69 , 2014 . D. Zhang, D. Bo\u0161na\u010dki, M. van den Brand, L. Engelen, C. Huizing, R. Kuiper, and A. Wijs. Towards Verified Java Code Generation from Concurrent State Machines. In AMT@ MoDELS, pages 64--69, 2014."}],"event":{"name":"PPPJ '16: Virtual Machines, Languages, and Tools","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing","SIGPLAN ACM Special Interest Group on Programming Languages","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Lugano Switzerland","acronym":"PPPJ '16"},"container-title":["Proceedings of the 13th International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2972206.2972216","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2972206.2972216","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:50:16Z","timestamp":1750218616000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2972206.2972216"}},"subtitle":["Implementing Failboxes"],"short-title":[],"issued":{"date-parts":[[2016,8,29]]},"references-count":15,"alternative-id":["10.1145\/2972206.2972216","10.1145\/2972206"],"URL":"https:\/\/doi.org\/10.1145\/2972206.2972216","relation":{},"subject":[],"published":{"date-parts":[[2016,8,29]]},"assertion":[{"value":"2016-08-29","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}