{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,20]],"date-time":"2026-03-20T16:56:21Z","timestamp":1774025781963,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,10,29]],"date-time":"2013-10-29T00:00:00Z","timestamp":1383004800000},"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":[[2013,10,29]]},"DOI":"10.1145\/2509136.2509532","type":"proceedings-article","created":{"date-parts":[[2013,10,23]],"date-time":"2013-10-23T11:29:17Z","timestamp":1382527757000},"page":"867-884","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":81,"title":["Relaxed separation logic"],"prefix":"10.1145","author":[{"given":"Viktor","family":"Vafeiadis","sequence":"first","affiliation":[{"name":"Max Planck Institute for Software Systems (MPI-SWS), Kaiserslautern, Germany"}]},{"given":"Chinmay","family":"Narayan","sequence":"additional","affiliation":[{"name":"Indian Institute of Technology, Delhi, Delhi, India"}]}],"member":"320","published-online":{"date-parts":[[2013,10,29]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926394"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103656.2103717"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2429069.2429099"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2010.07.010"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/1760267.1760273"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-10672-9_19"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/1883978.1884012"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/11691372_19"},{"key":"e_1_3_2_2_9_1","series-title":"LNCS","first-page":"372","volume-title":"CAV","author":"Dudka K.","year":"2011","unstructured":"K. Dudka , P. Peringer , and T. Vojnar . Predator: A practical tool for checking manipulation of dynamic data structures using separation logic . In CAV , volume 6806 of LNCS , pages 372 -- 378 . Springer , 2011 . K. Dudka, P. Peringer, and T. Vojnar. Predator: A practical tool for checking manipulation of dynamic data structures using separation logic. In CAV, volume 6806 of LNCS, pages 372--378. Springer, 2011."},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-11957-6_15"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/155090.155113"},{"key":"e_1_3_2_2_12_1","volume-title":"Programming language C++","author":"IEC","year":"2011","unstructured":"ISO\/ IEC 14882:2011. Programming language C++ , 2011 . ISO\/IEC 14882:2011. Programming language C++, 2011."},{"key":"e_1_3_2_2_13_1","volume-title":"Programming language C","author":"IEC","year":"2011","unstructured":"ISO\/ IEC 9899:2011. Programming language C , 2011 . ISO\/IEC 9899:2011. Programming language C, 2011."},{"key":"e_1_3_2_2_14_1","volume-title":"N1525: Memory-order rationale","author":"McKenney P. E.","year":"2011","unstructured":"P. E. McKenney and B. Garst . N1525: Memory-order rationale , 2011 . Available at http:\/\/www.open-std.org\/jtc1\/sc22\/wg14\/www\/docs\/n1525.htm. P. E. McKenney and B. Garst. N1525: Memory-order rationale, 2011. Available at http:\/\/www.open-std.org\/jtc1\/sc22\/wg14\/www\/docs\/n1525.htm."},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1706299.1706331"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2006.12.035"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/1884866.1884873"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254102"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2500365.2500600"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2011.09.029"},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/2392200.2392220"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/103135.103136"},{"key":"e_1_3_2_2_23_1","first-page":"2011","article-title":"A proposal for weak-memory local reasoning","author":"Wehrman I.","year":"2011","unstructured":"I. Wehrman and J. Berdine . A proposal for weak-memory local reasoning . In LOLA 2011 , 2011 . I. Wehrman and J. Berdine. A proposal for weak-memory local reasoning. In LOLA 2011, 2011.","journal-title":"LOLA"}],"event":{"name":"SPLASH '13: Conference on Systems, Programming, and Applications: Software for Humanity","location":"Indianapolis Indiana USA","acronym":"SPLASH '13","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2509136.2509532","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2509136.2509532","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:28:34Z","timestamp":1750217314000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2509136.2509532"}},"subtitle":["a program logic for C11 concurrency"],"short-title":[],"issued":{"date-parts":[[2013,10,29]]},"references-count":23,"alternative-id":["10.1145\/2509136.2509532","10.1145\/2509136"],"URL":"https:\/\/doi.org\/10.1145\/2509136.2509532","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2544173.2509532","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2013,10,29]]},"assertion":[{"value":"2013-10-29","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}