{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:09:11Z","timestamp":1725559751856},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540275800"},{"type":"electronic","value":"9783540316916"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11523468_108","type":"book-chapter","created":{"date-parts":[[2010,7,18]],"date-time":"2010-07-18T18:58:59Z","timestamp":1279479539000},"page":"1337-1348","source":"Crossref","is-referenced-by-count":5,"title":["About Hoare Logics for Higher-Order Store"],"prefix":"10.1007","author":[{"given":"Bernhard","family":"Reus","sequence":"first","affiliation":[]},{"given":"Thomas","family":"Streicher","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"108_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":"108_CR2","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1007\/978-3-540-39910-0_2","volume-title":"Verification: Theory and Practice","author":"M. Abadi","year":"2004","unstructured":"Abadi, M., Leino, K.R.M.: A logic of object-oriented programs. In: Dershowitz, N. (ed.) Verification: Theory and Practice, pp. 11\u201341. Springer, Heidelberg (2004)"},{"key":"108_CR3","first-page":"334","volume-title":"LICS 1998: Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science","author":"S. Abramsky","year":"1998","unstructured":"Abramsky, S., Honda, K., McCusker, G.: A fully abstract game semantics for general references. In: LICS 1998: Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science, p. 334. IEEE Computer Society, Los Alamitos (1998)"},{"issue":"4","key":"108_CR4","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1145\/357146.357150","volume":"3","author":"K.R. Apt","year":"1981","unstructured":"Apt, K.R.: Ten Years of Hoare\u2019s Logic: A Survey \u2013 Part I. TOPLAS\u00a03(4), 431\u2013483 (1981)","journal-title":"TOPLAS"},{"key":"108_CR5","unstructured":"Calcagno, C., O\u2019Hearn, P.W.: A logic for objects. Slides of a Talk (2001)"},{"key":"108_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"548","DOI":"10.1007\/3-540-54415-1_64","volume-title":"Theoretical Aspects of Computer Software","author":"A.V. Hense","year":"1991","unstructured":"Hense, A.V.: Wrapper semantics of an object-oriented programming language with state. In: Ito, T., Meyer, A.R. (eds.) TACS 1991. LNCS, vol.\u00a0526, pp. 548\u2013568. Springer, Heidelberg (1991)"},{"key":"108_CR7","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C.A.R. Hoare","year":"1969","unstructured":"Hoare, C.A.R.: An axiomatic basis for computer programming. Comm. ACM\u00a012, 576\u2013583 (1969)","journal-title":"Comm. ACM"},{"key":"108_CR8","volume-title":"20th Symp. on Logics in Computer Science, LICS","author":"K. Honda","year":"2005","unstructured":"Honda, K., Yoshida, N., Berger, M.: An observationally complete program logic for imperative higher-order functions. In: 20th Symp. on Logics in Computer Science, LICS. IEEE, Los Alamitos (2005) (to appear)"},{"key":"108_CR9","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: Gunter, C.A., Mitchell, J.C. (eds.) Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design, pp. 464\u2013495. The MIT Press, Cambridge (1994)"},{"key":"108_CR10","doi-asserted-by":"crossref","unstructured":"Laird, J.: A categorical semantics of higher-order store. Electronic notes in Theoretical Computer Science\u00a069 (2002)","DOI":"10.1016\/S1571-0661(04)80566-8"},{"key":"108_CR11","unstructured":"Laird, J.: Locally boolean domains (2004) (submitted)"},{"key":"108_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-44802-0_1","volume-title":"Computer Science Logic","author":"P.W. O\u2019Hearn","year":"2001","unstructured":"O\u2019Hearn, P.W., Reynolds, J.C., Yang, H.: Local reasoning about programs that alter data structures. In: Fribourg, L. (ed.) CSL 2001 and EACSL 2001. LNCS, vol.\u00a02142, pp. 1\u201319. Springer, Heidelberg (2001)"},{"key":"108_CR13","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"},{"key":"108_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"456","DOI":"10.1007\/978-3-540-45220-1_37","volume-title":"Computer Science Logic","author":"B. Reus","year":"2003","unstructured":"Reus, B.: Modular semantics and logics of classes. In: Baaz, M., Makowsky, J.A. (eds.) CSL 2003. LNCS, vol.\u00a02803, pp. 456\u2013469. Springer, Heidelberg (2003)"},{"key":"108_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"263","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. 263\u2013278. Springer, Heidelberg (2005)"},{"key":"108_CR16","unstructured":"Reus, B., Streicher, T.: Semantics and logics of objects. In: Proceedings of the 17th Symp. Logic in Computer Science, pp. 113\u2013122 (2002)"},{"key":"108_CR17","doi-asserted-by":"crossref","unstructured":"Reus, B., Streicher, T.: Semantics and logic of object calculi. TCS, .\u00a0316, 191\u2013213 (2004)","DOI":"10.1016\/j.tcs.2004.01.030"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11523468_108.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:05:57Z","timestamp":1605643557000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11523468_108"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540275800","9783540316916"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/11523468_108","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}