{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T02:12:48Z","timestamp":1775873568665,"version":"3.50.1"},"reference-count":0,"publisher":"Association for Computing Machinery (ACM)","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. ACM","JACM"],"published-print":{"date-parts":[[2013,6,1]]},"DOI":"10.1145\/2487241.2485982","type":"journal-article","created":{"date-parts":[[2013,7,2]],"date-time":"2013-07-02T14:32:49Z","timestamp":1372775569000},"page":"1-56","source":"Crossref","is-referenced-by-count":47,"title":["Local Reasoning for Global Invariants, Part I"],"prefix":"10.1145","volume":"60","author":[{"given":"Anindya","family":"Banerjee","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David A.","family":"Naumann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stan","family":"Rosenberg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","container-title":["Journal of the ACM"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/ft_gateway.cfm?id=2485982&ftid=1379941&dwn=1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,9]],"date-time":"2019-07-09T20:49:00Z","timestamp":1562705340000},"score":1,"resource":{"primary":{"URL":"http:\/\/dl.acm.org\/citation.cfm?doid=2487241.2485982"}},"subtitle":["Region Logic"],"short-title":[],"issued":{"date-parts":[[2013,6,1]]},"references-count":0,"aliases":["10.1145\/2485982","10.1145\/2485982"],"journal-issue":{"issue":"3","published-print":{"date-parts":[[2013,6,1]]}},"URL":"https:\/\/doi.org\/10.1145\/2487241.2485982","relation":{},"ISSN":["0004-5411"],"issn-type":[{"value":"0004-5411","type":"print"}],"subject":[],"published":{"date-parts":[[2013,6,1]]}}}