{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,12,15]],"date-time":"2024-12-15T13:10:15Z","timestamp":1734268215900,"version":"3.30.2"},"reference-count":23,"publisher":"Elsevier BV","issue":"1-3","license":[{"start":{"date-parts":[[2004,5,1]],"date-time":"2004-05-01T00:00:00Z","timestamp":1083369600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":3364,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theoretical Computer Science"],"published-print":{"date-parts":[[2004,5]]},"DOI":"10.1016\/j.tcs.2004.01.030","type":"journal-article","created":{"date-parts":[[2004,2,27]],"date-time":"2004-02-27T10:22:03Z","timestamp":1077877323000},"page":"191-213","source":"Crossref","is-referenced-by-count":8,"title":["Semantics and logic of object calculi"],"prefix":"10.1016","volume":"316","author":[{"given":"Bernhard","family":"Reus","sequence":"first","affiliation":[]},{"given":"Thomas","family":"Streicher","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"year":"1996","author":"Abadi","series-title":"A Theory of Objects","key":"10.1016\/j.tcs.2004.01.030_BIB1"},{"key":"10.1016\/j.tcs.2004.01.030_BIB2","series-title":"Theory and Practice of Software Development: Proc.\/TAPSOFT \u201997, 7th Internat. Joint Conf. CAAP\/FASE","first-page":"682","article-title":"A logic of object-oriented programs","volume":"Vol. 1214","author":"Abadi","year":"1997"},{"unstructured":"C. Calcagno, P. O'Hearn, A logic for objects, talk given in March 2001.","key":"10.1016\/j.tcs.2004.01.030_BIB3"},{"doi-asserted-by":"crossref","unstructured":"C. Calcagno, P.W. O'Hearn, On garbage and program logic, in: FoSSaCS, Lecture Notes in Computer Science, Vol. 2030, Springer, Berlin, 2001, pp. 137\u2013151.","key":"10.1016\/j.tcs.2004.01.030_BIB4","DOI":"10.1007\/3-540-45315-6_9"},{"doi-asserted-by":"crossref","unstructured":"W. Cook, A denotational semantics of inheritance, Ph.D. Thesis, Tech. Rep. CS-89-33, Department of Computer Science, Brown University, 1989.","key":"10.1016\/j.tcs.2004.01.030_BIB5","DOI":"10.1145\/74877.74922"},{"key":"10.1016\/j.tcs.2004.01.030_BIB6","series-title":"Foundations of Software Science and Computations Structures","article-title":"A WP-calculus for OO","volume":"Vol. 1578","author":"de Boer","year":"1999"},{"key":"10.1016\/j.tcs.2004.01.030_BIB7","series-title":"Proc. 1990 Como Category Theory Conf","first-page":"95","article-title":"Algebraically complete categories","volume":"Vol. 1488","author":"Freyd","year":"1991"},{"doi-asserted-by":"crossref","unstructured":"B. Jacobs, J. van den Berg, M. Huisman, M. van Berkum, U. Hensel, H. Tews, Reasoning about Java classes, in: Proc. Object-Oriented Programming Systems, Languages and Applications (OOPSLA \u201998), ACM SIGPLAN Notices 33 (10) (1998) 329\u2013340.","key":"10.1016\/j.tcs.2004.01.030_BIB8","DOI":"10.1145\/286942.286973"},{"doi-asserted-by":"crossref","unstructured":"S. Kamin, Inheritance in SMALLTALK-80: a denotational definition, in: Principles of Programming Languages ACM Press, New York, 1988, pp. 80\u201387.","key":"10.1016\/j.tcs.2004.01.030_BIB9","DOI":"10.1145\/73560.73567"},{"key":"10.1016\/j.tcs.2004.01.030_BIB10","series-title":"Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design","first-page":"464","article-title":"Two semantic models of object-oriented languages","author":"Kamin","year":"1994"},{"issue":"4","key":"10.1016\/j.tcs.2004.01.030_BIB11","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1109\/52.300040","article-title":"Modular specification and verification of object-oriented programs","volume":"8","author":"Leavens","year":"1991","journal-title":"IEEE Software"},{"issue":"4","key":"10.1016\/j.tcs.2004.01.030_BIB12","first-page":"330","article-title":"Recursive object types in a logic of object-oriented programs","volume":"5","author":"Leino","year":"1998","journal-title":"Nordic J. Comput."},{"doi-asserted-by":"crossref","unstructured":"P.W. O'Hearn, J.C. Reynolds, H. Yang, Local reasoning about programs that alter data structures, in: CSL, Lecture Notes in Computer Science, Vol. 2142, Springer, Berlin, 2001, pp. 1\u201319.","key":"10.1016\/j.tcs.2004.01.030_BIB13","DOI":"10.1007\/3-540-44802-0_1"},{"key":"10.1016\/j.tcs.2004.01.030_BIB14","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1006\/inco.1996.0052","article-title":"Relational properties of domains","volume":"127","author":"Pitts","year":"1996","journal-title":"Inform. and Comput."},{"doi-asserted-by":"crossref","unstructured":"A. Poetzsch-Heffter, P. M\u00fcller, Logical foundations for typed object-oriented languages, in: D. Gries, W. de Roever (Eds.), Programming Concepts and Methods, Elsevier Amsterdam, 1998.","key":"10.1016\/j.tcs.2004.01.030_BIB15","DOI":"10.1007\/978-0-387-35358-6_26"},{"key":"10.1016\/j.tcs.2004.01.030_BIB16","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1006\/inco.2001.2927","article-title":"Objects and classes in Algol-like languages","volume":"172","author":"Reddy","year":"2002","journal-title":"Inform. and Comput."},{"key":"10.1016\/j.tcs.2004.01.030_BIB17","series-title":"Object-oriented Technology, ECOOP \u201999 Workshop Reader","first-page":"107","article-title":"A logic of recursive objects (abstract)","volume":"Vol. 1743","author":"Reus","year":"1999"},{"doi-asserted-by":"crossref","unstructured":"B. Reus, Class based vs. object based: a denotational comparison, in: H. Kirchner, C. Ringeissen (Eds.), Algebraic Methodology and Software Technology. Lecture Notes in Computer Science, Vol. 2422, Springer, Berlin, 2002, pp. 473\u2013488.","key":"10.1016\/j.tcs.2004.01.030_BIB18","DOI":"10.1007\/3-540-45719-4_32"},{"doi-asserted-by":"crossref","unstructured":"B. Reus, Modular semantics and logics of classes, in: M. Baaz, J.A. Makowsky (Eds.), Computer Science Logic. Lecture Notes in Computer Science, Vol. 2803, Springer, Berlin, 2003, pp. 456\u2013469.","key":"10.1016\/j.tcs.2004.01.030_BIB19","DOI":"10.1007\/978-3-540-45220-1_37"},{"doi-asserted-by":"crossref","unstructured":"B. Reus, T. Streicher, Semantics and logics of objects, in: Proc. 17th Symp.Logic in Computer Science, 2002, pp. 113\u2013122.","key":"10.1016\/j.tcs.2004.01.030_BIB20","DOI":"10.1109\/LICS.2002.1029821"},{"doi-asserted-by":"crossref","unstructured":"B. Reus, M. Wirsing, R. Hennicker, A Hoare-calculus for verifying Java realizations of OCL-constrained design models, in: FASE 2001. Lecture Notes in Computer Science, Vol. 2029, Springer, Berlin, 2001, pp. 300\u2013317.","key":"10.1016\/j.tcs.2004.01.030_BIB21","DOI":"10.1007\/3-540-45314-8_22"},{"key":"10.1016\/j.tcs.2004.01.030_BIB22","series-title":"Logic of Programs","first-page":"442","article-title":"An introduction to specification logic","volume":"Vol. 164","author":"Reynolds","year":"1984"},{"unstructured":"C. Szyperski, Component Software: Beyond Object-oriented Programming, 2nd edition, Component Software Series, Addison-Wesley, Reading, MA, 2002.","key":"10.1016\/j.tcs.2004.01.030_BIB23"}],"container-title":["Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397504000830?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397504000830?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2024,12,15]],"date-time":"2024-12-15T12:45:50Z","timestamp":1734266750000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0304397504000830"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,5]]},"references-count":23,"journal-issue":{"issue":"1-3","published-print":{"date-parts":[[2004,5]]}},"alternative-id":["S0304397504000830"],"URL":"https:\/\/doi.org\/10.1016\/j.tcs.2004.01.030","relation":{},"ISSN":["0304-3975"],"issn-type":[{"type":"print","value":"0304-3975"}],"subject":[],"published":{"date-parts":[[2004,5]]}}}