{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T09:14:40Z","timestamp":1729674880852,"version":"3.28.0"},"reference-count":16,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/lics.2002.1029821","type":"proceedings-article","created":{"date-parts":[[2003,6,25]],"date-time":"2003-06-25T18:14:31Z","timestamp":1056564871000},"page":"113-122","source":"Crossref","is-referenced-by-count":1,"title":["Semantics and logic of object calculi"],"prefix":"10.1109","author":[{"given":"B.","family":"Reus","sequence":"first","affiliation":[]},{"given":"T.","family":"Streicher","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"15","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45719-4_32"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45314-8_22"},{"key":"13","first-page":"58","article-title":"A logic of recursive objects","volume":"251","author":"reus","year":"1999","journal-title":"Formal Techniques for Java Programs"},{"key":"14","first-page":"107","article-title":"A logic of recursive objects (abstract)","volume":"1743","author":"reus","year":"1999","journal-title":"Lecture Notes in Computer Science"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-35358-6_26"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1006\/inco.2001.2927"},{"journal-title":"A proof theory for a sequential version of POOL","year":"1999","author":"america","key":"3"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0030634"},{"key":"1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4419-8598-9","author":"abadi","year":"1996","journal-title":"A Theory of Objects"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1996.0052"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/52.300040"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/286942.286973"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45315-6_9"},{"journal-title":"A logic for objects","year":"2001","author":"calcagno","key":"4"},{"key":"9","first-page":"1","article-title":"Local reasoning about programs that alter data structures","volume":"2142","author":"o'hearn","year":"2001","journal-title":"LNCS"},{"key":"8","first-page":"330","article-title":"Recursive object types in a logic of object-oriented programs","volume":"5","author":"leino","year":"1998","journal-title":"Nordic Journal of Computing"}],"event":{"name":"17th Annual IEEE Symposium on Logic in Computer Science","acronym":"LICS-02","location":"Copenhagen, Denmark"},"container-title":["Proceedings 17th Annual IEEE Symposium on Logic in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8005\/22127\/01029821.pdf?arnumber=1029821","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,15]],"date-time":"2017-06-15T18:42:33Z","timestamp":1497552153000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1029821\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/lics.2002.1029821","relation":{},"subject":[]}}