{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T18:06:30Z","timestamp":1743098790198,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642005893"},{"type":"electronic","value":"9783642005909"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-00590-9_18","type":"book-chapter","created":{"date-parts":[[2009,3,27]],"date-time":"2009-03-27T08:05:58Z","timestamp":1238141158000},"page":"237-251","source":"Crossref","is-referenced-by-count":2,"title":["A Theory of Non-monotone Memory (Or: Contexts for free)"],"prefix":"10.1007","author":[{"given":"Eijiro","family":"Sumii","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","unstructured":"Ahmed, A.: Semantics of Types for Mutable State. PhD thesis, Princeton University (2004)"},{"key":"18_CR2","doi-asserted-by":"crossref","unstructured":"Ahmed, A., Dreyer, D., Rossberg, A.: State-dependent representation independence. In: Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (2009) (to appear), http:\/\/ttic.uchicago.edu\/~amal\/papers\/sdri.pdf","DOI":"10.1145\/1480881.1480925"},{"key":"18_CR3","doi-asserted-by":"crossref","unstructured":"Ahmed, A., Fluet, M., Morrisett, G.: A step-indexed model of substructural state. In: Proceedings of the Tenth ACM SIGPLAN International Conference on Functional Programming, pp.\u00a078\u201391 (2005)","DOI":"10.1145\/1086365.1086376"},{"issue":"4","key":"18_CR4","first-page":"397","volume":"77","author":"A. Ahmed","year":"2007","unstructured":"Ahmed, A., Fluet, M., Morrisett, G.: L3: A linear language with locations. TLCA 2005\u00a077(4), 397\u2013449 (2007); extended abstract appeared in: Typed Lambda Calculi and Applications. LNCS, vol.\u00a03461, pp.\u00a0293\u2013307. Springer (2005)","journal-title":"Fundamenta Informaticae"},{"key":"18_CR5","unstructured":"Bohr, N.: Advances in Reasoning Principles for Contextual Equivalence and Termination. PhD thesis, IT University of Copenhagen (2007)"},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"Crary, K., Walker, D., Morrisett, G.: Typed memory management in a calculus of capabilities. In: Proceedings of the 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp.\u00a0262\u2013275 (1999)","DOI":"10.1145\/292540.292564"},{"key":"18_CR7","doi-asserted-by":"crossref","unstructured":"Koutavas, V., Wand, M.: Small bisimulations for reasoning about higher-order imperative programs. In: Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp.\u00a0141\u2013152 (2006)","DOI":"10.1145\/1111037.1111050"},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"Meyer, A.R., Sieber, K.: Towards fully abstract semantics for local variables: Preliminary report. In: Proceedings of the 15th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp.\u00a0191\u2013203 (1988)","DOI":"10.1145\/73560.73577"},{"key":"18_CR9","volume-title":"Foundations for Programming Languages","author":"J.C. Mitchell","year":"1996","unstructured":"Mitchell, J.C.: Foundations for Programming Languages. MIT Press, Cambridge (1996)"},{"key":"18_CR10","unstructured":"Morris Jr., J.H.: Lambda-Calculus Models of Programming Languages. PhD thesis, Massachusetts Institute of Technology (1968)"},{"key":"18_CR11","first-page":"227","volume-title":"Higher Order Operational Techniques in Semantics","author":"A.M. Pitts","year":"1998","unstructured":"Pitts, A.M., Stark, I.: Operational reasoning for functions with local state. In: Higher Order Operational Techniques in Semantics, pp. 227\u2013273. Cambridge University Press, Cambridge (1998)"},{"key":"18_CR12","doi-asserted-by":"crossref","unstructured":"Sangiorgi, D., Kobayashi, N., Sumii, E.: Environmental bisimulations for higher-order languages. In: Twenty-Second Annual IEEE Symposium on Logic in Computer Science, pp. 293\u2013302 (2007)","DOI":"10.1109\/LICS.2007.17"},{"key":"18_CR13","unstructured":"Sumii, E.: A theory of non-monotone memory (or: Contexts for free), http:\/\/www.kb.ecei.tohoku.ac.jp\/~sumii\/pub\/non-mono.pdf"},{"key":"18_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.tcs.2006.12.032","volume":"375","author":"E. Sumii","year":"2007","unstructured":"Sumii, E., Pierce, B.C.: A bisimulation for dynamic sealing. Theoretical Computer Science\u00a0375, 1\u20133, 169\u2013192 (2007); extended abstract appeared in: Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp.\u00a0161\u2013172 (2004)","journal-title":"Theoretical Computer Science"},{"key":"18_CR15","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1145\/1284320.1284325","volume":"54","author":"E. Sumii","year":"2007","unstructured":"Sumii, E., Pierce, B.C.: A bisimulation for type abstraction and recursion. Journal of the ACM\u00a054, 5\u201326, 1\u201343 (2007); extended abstract appeared in: Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp.\u00a063\u201374 (2005)","journal-title":"Journal of the ACM"},{"key":"18_CR16","doi-asserted-by":"crossref","unstructured":"Tofte, M., Talpin, J.-P.: Implementation of the typed call-by-value \u03bb-calculus using a stack of regions. In: Proceedings of the 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 188\u2013201 (1994)","DOI":"10.1145\/174675.177855"},{"key":"18_CR17","volume-title":"Programming Concepts and Methods","author":"P. Wadler","year":"1990","unstructured":"Wadler, P.: Linear types can change the world! In: Programming Concepts and Methods. North Holland, Amsterdam (1990)"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-00590-9_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T00:23:45Z","timestamp":1558225425000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-00590-9_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642005893","9783642005909"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-00590-9_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}