{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T02:12:41Z","timestamp":1775873561087,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":12,"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\/100000143","name":"Division of Computing and Communication Foundations","doi-asserted-by":"publisher","award":["0916715"],"award-info":[{"award-number":["0916715"]}],"id":[{"id":"10.13039\/100000143","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.2786537","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":["Conditional effects in fine-grained region logic"],"prefix":"10.1145","author":[{"given":"Yuyan","family":"Bao","sequence":"first","affiliation":[{"name":"University of Central, Florida, Orlando"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gary T.","family":"Leavens","sequence":"additional","affiliation":[{"name":"University of Central, Florida, Orlando"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gidon","family":"Ernst","sequence":"additional","affiliation":[{"name":"Universit\u00e4t Augsburg, Augsburg, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2015,7,7]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"3","volume-title":"Lecture Notes in Computer Science","author":"Banerjee A.","year":"2014"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70592-5_17"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2485982"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.469460"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/11804192_16"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/11813040_19"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-010-0152-5"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"G. T.\n       \n      Leavens\n     and \n      \n      \n      A. L.\n       \n      Baker\n      \n  \n  . \n  Enhancing the pre- and postcondition technique for more expressive specifications. In J. M. Wing J. Woodcock and J. Davies editors FM'99 --- Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse France September \n  1999 Proceedings volume \n  1709\n   of \n  Lecture Notes in Computer Science pages \n  1087\n  --\n  1106\n  . \n  Springer-Verlag 1999.   G. T. Leavens and A. L. Baker. Enhancing the pre- and postcondition technique for more expressive specifications. In J. M. Wing J. Woodcock and J. Davies editors FM'99 --- Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse France September 1999 Proceedings volume 1709 of Lecture Notes in Computer Science pages 1087--1106. Springer-Verlag 1999.","DOI":"10.1007\/3-540-48118-4_8"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/1884866.1884879"},{"key":"e_1_3_2_1_11_1","unstructured":"S. Rosenberg. Verifier for region logic. Web page at http:\/\/www.cs.stevens.edu\/ naumann\/pub\/VERL\/. 2011.  S. Rosenberg. Verifier for region logic. Web page at http:\/\/www.cs.stevens.edu\/ naumann\/pub\/VERL\/. 2011."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87873-5_10"},{"key":"e_1_3_2_1_13_1","first-page":"127","volume-title":"Workshops in Computing, chapter 11","author":"Wills A.","year":"1992"}],"event":{"name":"ECOOP '15: European Conference on Object-Oriented Programming ECOOP 2015","location":"Prague Czech Republic","acronym":"ECOOP '15","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGSOFT ACM Special Interest Group on Software Engineering"]},"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.2786537","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2786536.2786537","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.2786537"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,7,7]]},"references-count":12,"alternative-id":["10.1145\/2786536.2786537","10.1145\/2786536"],"URL":"https:\/\/doi.org\/10.1145\/2786536.2786537","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"}}]}}