{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:13:30Z","timestamp":1750306410938,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,7,7]],"date-time":"2015-07-07T00:00:00Z","timestamp":1436227200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["IMPROVE within SPP1593"],"award-info":[{"award-number":["IMPROVE within SPP1593"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,7,7]]},"DOI":"10.1145\/2786536.2786544","type":"proceedings-article","created":{"date-parts":[[2015,7,6]],"date-time":"2015-07-06T14:04:29Z","timestamp":1436191469000},"page":"1-6","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Regression verification for Java using a secure information flow calculus"],"prefix":"10.1145","author":[{"given":"Bernhard","family":"Beckert","sequence":"first","affiliation":[{"name":"Karlsruhe Institute of Technology"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vladimir","family":"Klebanov","sequence":"additional","affiliation":[{"name":"Karlsruhe Institute of Technology"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mattias","family":"Ulbrich","sequence":"additional","affiliation":[{"name":"Karlsruhe Institute of Technology"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2015,7,7]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/1355340"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/2021296.2021319"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/1009380.1009669"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-14125-1_2"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"Beckert B. H\u00e4hnle R. and \n      \n      \n      Schmitt P. H. Eds\n      \n  \n  . \n  Verification of Object-Oriented Software: The KeY Approach vol. \n  4334\n   of \n  LNCS\n  . \n  Springer 2007\n  .   Beckert B. H\u00e4hnle R. and Schmitt P. H. Eds. Verification of Object-Oriented Software: The KeY Approach vol. 4334 of LNCS. Springer 2007.","DOI":"10.1007\/978-3-540-69061-0"},{"key":"e_1_3_2_1_6_1","first-page":"247","volume-title":"FMCO","author":"Bubel R.","year":"2008"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-32004-3_20"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2642937.2642987"},{"key":"e_1_3_2_1_9_1","first-page":"3","article-title":"Regression verification: proving the equivalence of similar programs","volume":"23","author":"Godlin B.","year":"2013","journal-title":"JSTVR"},{"key":"e_1_3_2_1_10_1","first-page":"87","volume-title":"ISSSE (March","author":"Hammer C.","year":"2006"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/557365"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38574-2_20"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/363235.363259"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2014.04.022"},{"key":"e_1_3_2_1_15_1","unstructured":"Leavens G. T. Poll E. Clifton C. Cheon Y. Ruby C. Cok D. M\u00fcller P. Kiniry J. Chalin P. Zimmerman D. M. and Dietl W. JML Reference Manual 2008.  Leavens G. T. Poll E. Clifton C. Cheon Y. Ruby C. Cok D. M\u00fcller P. Kiniry J. Chalin P. Zimmerman D. M. and Dietl W. JML Reference Manual 2008."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/292540.292561"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2011.12"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2002.806121"},{"volume-title":"Karlsruhe Institute of Technology","year":"2014","author":"Scheben C.","key":"e_1_3_2_1_19_1"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31762-0_15"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-06410-9_39"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02658-4_44"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2318202.2318209"}],"event":{"name":"ECOOP '15: European Conference on Object-Oriented Programming ECOOP 2015","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Prague Czech Republic","acronym":"ECOOP '15"},"container-title":["Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2786536.2786544","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2786536.2786544","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:07:41Z","timestamp":1750223261000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2786536.2786544"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,7,7]]},"references-count":23,"alternative-id":["10.1145\/2786536.2786544","10.1145\/2786536"],"URL":"https:\/\/doi.org\/10.1145\/2786536.2786544","relation":{},"subject":[],"published":{"date-parts":[[2015,7,7]]},"assertion":[{"value":"2015-07-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}