{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T06:57:34Z","timestamp":1760079454996},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642120312"},{"type":"electronic","value":"9783642120329"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-12032-9_2","type":"book-chapter","created":{"date-parts":[[2010,3,8]],"date-time":"2010-03-08T01:07:56Z","timestamp":1268010476000},"page":"2-17","source":"Crossref","is-referenced-by-count":24,"title":["A Semantic Foundation for Hidden State"],"prefix":"10.1007","author":[{"given":"Jan","family":"Schwinghammer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hongseok","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lars","family":"Birkedal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fran\u00e7ois","family":"Pottier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernhard","family":"Reus","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"Parkinson, M., Bierman, G.: Separation logic and abstraction. In: POPL, pp. 247\u2013258 (2005)","DOI":"10.1145\/1040305.1040326"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Biering, B., Birkedal, L., Torp-Smith, N.: BI-hyperdoctrines, higher-order separation logic, and abstraction. TOPLAS\u00a029(5) (2007)","DOI":"10.1145\/1275497.1275499"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Parkinson, M., Bierman, G.: Separation logic, abstraction and inheritance. In: POPL, pp. 75\u201386 (2008)","DOI":"10.1145\/1328438.1328451"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Pottier, F.: Hiding local state in direct style: a higher-order anti-frame rule. In: LICS, pp. 331\u2013340 (2008)","DOI":"10.1109\/LICS.2008.16"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Reynolds, J.C.: Separation logic: A logic for shared mutable data structures. In: LICS, pp. 55\u201374 (2002)","DOI":"10.1109\/LICS.2002.1029817"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"O\u2019Hearn, P.W., Yang, H., Reynolds, J.C.: Separation and information hiding. In: POPL, pp. 268\u2013280 (2004)","DOI":"10.1145\/982962.964024"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Birkedal, L., Torp-Smith, N., Yang, H.: Semantics of separation-logic typing and higher-order frame rules for Algol-like languages. LMCS\u00a02(5:1) (2006)","DOI":"10.2168\/LMCS-2(5:1)2006"},{"key":"2_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1007\/978-3-540-70583-3_29","volume-title":"Automata, Languages and Programming","author":"L. Birkedal","year":"2008","unstructured":"Birkedal, L., Reus, B., Schwinghammer, J., Yang, H.: A simple model of separation logic for higher-order store. In: Aceto, L., Damg\u00e5rd, I., Goldberg, L.A., Halld\u00f3rsson, M.M., Ing\u00f3lfsd\u00f3ttir, A., Walukiewicz, I. (eds.) ICALP 2008, Part II. LNCS, vol.\u00a05126, pp. 348\u2013360. Springer, Heidelberg (2008)"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"Schwinghammer, J., Birkedal, L., Reus, B., Yang, H.: Nested Hoare triples and frame rules for higher-order store. In: CSL, pp. 440\u2013454 (2009)","DOI":"10.1007\/978-3-642-04027-6_32"},{"key":"2_CR10","unstructured":"Pottier, F.: Three comments on the anti-frame rule (July 2009) (unpublished note)"},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"Levy, P.B.: Possible world semantics for general storage in call-by-value. In: CSL, pp. 232\u2013246 (2002)","DOI":"10.1007\/3-540-45793-3_16"},{"issue":"1-2","key":"2_CR12","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1016\/S0304-3975(96)80711-0","volume":"170","author":"J.J.M.M. Rutten","year":"1996","unstructured":"Rutten, J.J.M.M.: Elements of generalized ultrametric domain theory. TCS\u00a0170(1-2), 349\u2013381 (1996)","journal-title":"TCS"},{"key":"2_CR13","unstructured":"Birkedal, L., St\u00f8vring, K., Thamsborg, J.: The category-theoretic solution of recursive metric-space equations. Technical Report ITU-2009-119, IT University of Copenhagen (2009)"},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"Schwinghammer, J., Yang, H., Birkedal, L., Pottier, F., Reus, B.: A semantic foundation for hidden state (December 2009), http:\/\/www.dcs.qmul.ac.uk\/~hyang\/paper\/fossacs10-full.pdf","DOI":"10.1007\/978-3-642-12032-9_2"},{"key":"2_CR15","doi-asserted-by":"crossref","DOI":"10.1142\/6284","volume-title":"Domain-theoretic Foundations of Functional Programming","author":"T. Streicher","year":"2006","unstructured":"Streicher, T.: Domain-theoretic Foundations of Functional Programming. World Scientific, Singapore (2006)"},{"issue":"2","key":"2_CR16","doi-asserted-by":"publisher","first-page":"215","DOI":"10.2307\/421090","volume":"5","author":"P.W. O\u2019Hearn","year":"1999","unstructured":"O\u2019Hearn, P.W., Pym, D.J.: The logic of bunched implications. Bulletin of Symbolic Logic\u00a05(2), 215\u2013244 (1999)","journal-title":"Bulletin of Symbolic Logic"},{"key":"2_CR17","unstructured":"Pilkiewicz, A., Pottier, F.: The essence of monotonic state (October 2009) (submitted)"},{"key":"2_CR18","unstructured":"Pottier, F.: Generalizing the higher-order frame and anti-frame rules (July 2009) (unpublished note)"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computational Structures"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-12032-9_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:47:00Z","timestamp":1606186020000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-12032-9_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642120312","9783642120329"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-12032-9_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}