{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:27:25Z","timestamp":1725550045689},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540291060"},{"type":"electronic","value":"9783540320241"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11560586_31","type":"book-chapter","created":{"date-parts":[[2005,10,20]],"date-time":"2005-10-20T14:08:27Z","timestamp":1129817307000},"page":"390-405","source":"Crossref","is-referenced-by-count":1,"title":["A Typed Semantics of Higher-Order Store and Subtyping"],"prefix":"10.1007","author":[{"given":"Jan","family":"Schwinghammer","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"31_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4419-8598-9","volume-title":"A Theory of Objects","author":"M. Abadi","year":"1996","unstructured":"Abadi, M., Cardelli, L.: A Theory of Objects. Springer, Heidelberg (1996)"},{"key":"31_CR2","doi-asserted-by":"crossref","unstructured":"Abadi, M., Cardelli, L., Viswanathan, R.: An interpretation of objects and object types. In: Proc. POPL 1996, pp. 396\u2013409 (1996)","DOI":"10.1145\/237721.237809"},{"key":"31_CR3","series-title":"Lecture Notes in Computer Science","first-page":"11","volume-title":"Verification: Theory and Practice. Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday","author":"M. Abadi","year":"2004","unstructured":"Abadi, M., Leino, K.R.M.: A logic of object-oriented programs. In: Verification: Theory and Practice. Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday. LNCS, pp. 11\u201341. Springer, Heidelberg (2004)"},{"key":"31_CR4","doi-asserted-by":"crossref","unstructured":"Abramsky, S., Honda, K., McCusker, G.: A fully abstract game semantics for general references. In: Proc. LICS 1998, pp. 334\u2013344 (1998)","DOI":"10.1109\/LICS.1998.705669"},{"key":"31_CR5","doi-asserted-by":"crossref","unstructured":"Ahmed, J., Appel, A.W., Virga, R.: A stratified semantics of general references embeddable in higher-order logic. In: Proc. LICS 2002, pp. 75\u201386 (2002)","DOI":"10.1109\/LICS.2002.1029818"},{"key":"31_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1007\/11417170_8","volume-title":"Typed Lambda Calculi and Applications","author":"N. Benton","year":"2005","unstructured":"Benton, N., Leperchey, B.: Relational reasoning in a nominal semantics for storage. In: Urzyczyn, P. (ed.) TLCA 2005. LNCS, vol.\u00a03461, pp. 86\u2013101. Springer, Heidelberg (2005)"},{"issue":"1","key":"31_CR7","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1016\/0890-5401(91)90055-7","volume":"93","author":"V. Breazu-Tannen","year":"1991","unstructured":"Breazu-Tannen, V., Coquand, T., Gunter, G., Scedrov, A.: Inheritance as implicit coercion. Information and Computation\u00a093(1), 172\u2013221 (1991)","journal-title":"Information and Computation"},{"issue":"1\/2","key":"31_CR8","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1006\/inco.1999.2829","volume":"155","author":"K.B. Bruce","year":"1999","unstructured":"Bruce, K.B., Cardelli, L., Pierce, B.C.: Comparing object encodings. Information and Computation\u00a0155(1\/2), 108\u2013133 (1999)","journal-title":"Information and Computation"},{"key":"31_CR9","unstructured":"Honda, K., Berger, M., Yoshida, N.: An observationally complete program logic for imperative higher-order functions. To appear in Proc. LICS 2005 (2005)"},{"key":"31_CR10","doi-asserted-by":"crossref","unstructured":"Jeffrey, A., Rathke, J.: A fully abstract may testing semantics for concurrent objects. In: Proc. LICS 2002, pp. 101\u2013112 (2002)","DOI":"10.1109\/LICS.2002.1029820"},{"key":"31_CR11","first-page":"464","volume-title":"Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design","author":"S.N. Kamin","year":"1994","unstructured":"Kamin, S.N., Reddy, U.S.: Two semantic models of object-oriented languages. In: Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design, pp. 464\u2013495. MIT Press, Cambridge (1994)"},{"key":"31_CR12","doi-asserted-by":"crossref","unstructured":"Laird, J.: A categorical semantics of higher-order store. In: Proc. CTCS 2002. ENTCS, vol.\u00a069, pp. 1\u201318 (2003)","DOI":"10.1016\/S1571-0661(04)80566-8"},{"issue":"4","key":"31_CR13","doi-asserted-by":"crossref","first-page":"308","DOI":"10.1093\/comjnl\/6.4.308","volume":"6","author":"P.J. Landin","year":"1964","unstructured":"Landin, P.J.: The mechanical evaluation of expressions. Computer Journal\u00a06(4), 308\u2013320 (1964)","journal-title":"Computer Journal"},{"key":"31_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"232","DOI":"10.1007\/3-540-45793-3_16","volume-title":"Computer Science Logic","author":"P.B. Levy","year":"2002","unstructured":"Levy, P.B.: Possible world semantics for general storage in call-by-value. In: Bradfield, J.C. (ed.) CSL 2002 and EACSL 2002. LNCS, vol.\u00a02471, p. 232. Springer, Heidelberg (2002)"},{"key":"31_CR15","series-title":"Semantic Structures in Computation","volume-title":"Call-By-Push-Value. A Functional\/Imperative Synthesis","author":"P.B. Levy","year":"2004","unstructured":"Levy, P.B.: Call-By-Push-Value. A Functional\/Imperative Synthesis. Semantic Structures in Computation, vol.\u00a02. Kluwer, Dordrecht (2004)"},{"issue":"1\u20132","key":"31_CR16","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/0168-0072(91)90067-V","volume":"51","author":"J.C. Mitchell","year":"1991","unstructured":"Mitchell, J.C., Moggi, E.: Kripke-style models for typed lambda calculus. Annals of Pure and Applied Logic\u00a051(1\u20132), 99\u2013124 (1991)","journal-title":"Annals of Pure and Applied Logic"},{"key":"31_CR17","unstructured":"Oles, F.J.: A Category-theoretic approach to the semantics of programming languages. PhD thesis, Syracuse University (1982)"},{"key":"31_CR18","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1006\/inco.1996.0052","volume":"127","author":"A.M. Pitts","year":"1996","unstructured":"Pitts, A.M.: Relational properties of domains. Information and Computation\u00a0127, 66\u201390 (1996)","journal-title":"Information and Computation"},{"issue":"1\u20133","key":"31_CR19","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/j.scico.2004.01.007","volume":"50","author":"U.S. Reddy","year":"2004","unstructured":"Reddy, U.S., Yang, H.: Correctness of data representations involving heap data structures. Science of Computer Programming\u00a050(1\u20133), 129\u2013160 (2004)","journal-title":"Science of Computer Programming"},{"key":"31_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1007\/978-3-540-31987-0_19","volume-title":"Programming Languages and Systems","author":"B. Reus","year":"2005","unstructured":"Reus, B., Schwinghammer, J.: Denotational semantics for Abadi and Leino\u2019s logic of objects. In: Sagiv, M. (ed.) ESOP 2005. LNCS, vol.\u00a03444, pp. 264\u2013279. Springer, Heidelberg (2005)"},{"key":"31_CR21","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1016\/j.tcs.2004.01.030","volume":"316","author":"B. Reus","year":"2004","unstructured":"Reus, B., Streicher, T.: Semantics and logic of object calculi. Theoretical Computer Science\u00a0316, 191\u2013213 (2004)","journal-title":"Theoretical Computer Science"},{"key":"31_CR22","volume-title":"Essays on Programming Methodology","author":"J.C. Reynolds","year":"2002","unstructured":"Reynolds, J.C.: What do types mean? \u2014 From intrinsic to extrinsic semantics. In: Essays on Programming Methodology. Springer, Heidelberg (2002)"},{"key":"31_CR23","doi-asserted-by":"crossref","unstructured":"Schwinghammer, J.: A typed semantics for languages with higher-order store and subtyping.Technical Report 2005:05, Informatics, University of Sussex (2005)","DOI":"10.1007\/11560586_31"},{"issue":"4","key":"31_CR24","doi-asserted-by":"publisher","first-page":"761","DOI":"10.1137\/0211062","volume":"11","author":"M.B. Smyth","year":"1982","unstructured":"Smyth, M.B., Plotkin, G.D.: The category-theoretic solution of recursive domain equations. SIAM Journal on Computing\u00a011(4), 761\u2013783 (1982)","journal-title":"SIAM Journal on Computing"},{"issue":"4","key":"31_CR25","doi-asserted-by":"crossref","first-page":"369","DOI":"10.3233\/FI-1998-33403","volume":"33","author":"I. Stark","year":"1998","unstructured":"Stark, I.: Names, equations, relations: Practical ways to reason about new. Fundamenta Informaticae\u00a033(4), 369\u2013396 (1998)","journal-title":"Fundamenta Informaticae"}],"container-title":["Lecture Notes in Computer Science","Theoretical Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11560586_31.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:50:35Z","timestamp":1605642635000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11560586_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540291060","9783540320241"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/11560586_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}