{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:18:22Z","timestamp":1725549502197},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540240587"},{"type":"electronic","value":"9783540305385"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30538-5_35","type":"book-chapter","created":{"date-parts":[[2010,3,12]],"date-time":"2010-03-12T13:40:30Z","timestamp":1268401230000},"page":"421-433","source":"Crossref","is-referenced-by-count":14,"title":["Refinement and Separation Contexts"],"prefix":"10.1007","author":[{"given":"Ivana","family":"Mijajlovi\u0107","sequence":"first","affiliation":[]},{"given":"Noah","family":"Torp-Smith","sequence":"additional","affiliation":[]},{"given":"Peter","family":"O\u2019Hearn","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"35_CR1","doi-asserted-by":"crossref","unstructured":"Hogg, J.: Islands: Aliasing Protection. In: Object-Oriented Languages. In: OOPSLA (1991)","DOI":"10.1145\/117954.117975"},{"key":"35_CR2","doi-asserted-by":"crossref","unstructured":"Hogg, J., Lea, D., Wills, A., de Champeaux, D., Holt, R.: The Geneva Convention On The Treatment of Object Aliasing. In: OOPS Messenger (1992)","DOI":"10.1145\/130943.130947"},{"key":"35_CR3","doi-asserted-by":"crossref","unstructured":"Banerjee, A., Naumann, D.A.: Representation Independence, Confinement and Access Control [extended abstract]. In: 29th POPL (2002)","DOI":"10.1145\/503272.503289"},{"key":"35_CR4","first-page":"223","volume-title":"Proceedings of ESOP","author":"U.S. Reddy","year":"2003","unstructured":"Reddy, U.S., Yang, H.: Correctness of Data Representations involving Heap Data Structures. In: Proceedings of ESOP, pp. 223\u2013237. Springer, Heidelberg (2003)"},{"key":"35_CR5","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/BF00289507","volume":"1","author":"C.A.R. Hoare","year":"1972","unstructured":"Hoare, C.A.R.: Proof of Correctness of Data Representations. Acta Informatica\u00a01, 271\u2013281 (1972)","journal-title":"Acta Informatica"},{"key":"35_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1007\/3-540-16442-1_14","volume-title":"Proceedings of ESOP","author":"J. He","year":"1986","unstructured":"He, J., Hoare, C.A.R., Sanders, J.W.: Data Refinement Refined (Resume). In: Proceedings of ESOP. LNCS, vol.\u00a0213, pp. 187\u2013196. Springer, Heidelberg (1986)"},{"key":"35_CR7","doi-asserted-by":"crossref","unstructured":"Clarke, D.G., Noble, J., Potter, J.M.: Simple Ownership Types for Object Containment. In: Proceedings of ECOOP (2001)","DOI":"10.1007\/3-540-45337-7_4"},{"key":"35_CR8","doi-asserted-by":"crossref","unstructured":"Boyapati, C., Liskov, B., Shrira, L.: Ownership Types for Object Encapsulation. In: 30th POPL (2003)","DOI":"10.1145\/604131.604156"},{"key":"35_CR9","doi-asserted-by":"crossref","unstructured":"Reynolds, J.C.: Separation Logic: A Logic for Shared Mutable Data Structures. In: Proceedings of 17th LICS, pp. 55\u201374 (2002)","DOI":"10.1109\/LICS.2002.1029817"},{"issue":"1","key":"35_CR10","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1016\/j.tcs.2003.11.020","volume":"313","author":"D. Pym","year":"2004","unstructured":"Pym, D., O\u2019Hearn, P., Yang, H.: Possible Worlds and Resources: The Semantics of BI. Theoretical Computer Science\u00a0313(1), 257\u2013305 (2004)","journal-title":"Theoretical Computer Science"},{"key":"35_CR11","doi-asserted-by":"crossref","unstructured":"Ishtiaq, S., O\u2019Hearn, P.W.: BI as an Assertion Language for Mutable Data Structures. In: 28th POPL, pp. 14\u201326 (2001)","DOI":"10.1145\/360204.375719"},{"key":"35_CR12","doi-asserted-by":"crossref","unstructured":"O\u2019Hearn, P., Yang, H., Reynolds, J.C.: Separation and information hiding. In: 31st POPL, pp. 268\u2013280 (2004)","DOI":"10.1145\/964001.964024"},{"key":"35_CR13","doi-asserted-by":"crossref","unstructured":"Yang, H., O\u2019Hearn, P.: A semantic basis for local reasoning. In: Proceedings of FOSSACS 2002, pp. 402\u2013416 (2002)","DOI":"10.1007\/3-540-45931-6_28"},{"issue":"2","key":"35_CR14","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1093\/comjnl\/20.2.151","volume":"20","author":"J. Schwarz","year":"1977","unstructured":"Schwarz, J.: Generic Commands - A Tool for Partial Correctness Formalisms. Comput. J.\u00a020(2), 151\u2013155 (1977)","journal-title":"Comput. J."},{"key":"35_CR15","doi-asserted-by":"crossref","unstructured":"Yang, H.: Relational Separation Logic. Theoretical Computer Science (to appear)","DOI":"10.1016\/j.tcs.2006.12.036"}],"container-title":["Lecture Notes in Computer Science","FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30538-5_35.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:58:54Z","timestamp":1605761934000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30538-5_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540240587","9783540305385"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30538-5_35","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}