{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T04:18:45Z","timestamp":1742617125801,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540544159"},{"type":"electronic","value":"9783540476177"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54415-1_64","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:46:33Z","timestamp":1330209993000},"page":"548-568","source":"Crossref","is-referenced-by-count":11,"title":["Wrapper semantics of an object-oriented programming language with state"],"prefix":"10.1007","author":[{"given":"Andreas V.","family":"Hense","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"27_CR1","unstructured":"H. Abelson, G. J. Sussman, and J. Sussman. Structure and Interpretation of Computer Programs. MIT Press, 1985."},{"key":"27_CR2","unstructured":"H. P. Barendregt. The Lambda Calculus \u2014 Its Syntax and Semantics. Volume 103 of Studies in Logic and The Foundations of Mathematics, North-Holland, revised 1984 edition, 1981."},{"key":"27_CR3","doi-asserted-by":"crossref","unstructured":"W. Cook and J. Palsberg. A denotational semantics of inheritance and its correctness. In Object-Oriented Programming Systems, Languages and Applications, pages 433\u2013444, ACM, Oct. 1989.","DOI":"10.1145\/74877.74922"},{"key":"27_CR4","series-title":"Technical Report","volume-title":"A Denotational Semantics of Inheritance","author":"W. R. Cook","year":"1989","unstructured":"W. R. Cook. A Denotational Semantics of Inheritance. Technical Report CS-89-33, Brown University, Dept. of Computer Science, Providence, Rhode Island 02912, May 1989."},{"key":"27_CR5","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/3-540-52592-0_60","volume":"432","author":"M. Felleisen","year":"1990","unstructured":"M. Felleisen. On the expressive power of programming languages. Lecture Notes in Computer Science, 432:134\u2013151, 1990. European Symposium on Programming.","journal-title":"Lecture Notes in Computer Science"},{"key":"27_CR6","unstructured":"A. Goldberg and D. Robson. Smalltalk-80: the Language. Addison-Wesley, 1989."},{"key":"27_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-6228-2","volume-title":"The Denotational Description of Programming Languages: An Introduction","author":"M. Gordon","year":"1979","unstructured":"M. Gordon. The Denotational Description of Programming Languages: An Introduction. Springer-Verlag, New York\/Heidelberg\/Berlin, 1979."},{"key":"27_CR8","unstructured":"A. Hense. The Denotational Semantics of an Object Oriented Programming Language. Technical Report A 01\/90, Universit\u00e4t des Saarlandes, Fachbereich 14, Jan. 1990."},{"key":"27_CR9","doi-asserted-by":"crossref","unstructured":"J. Hindley and J. Seldin. Introduction to Combinators and \u03bb-Calculus. Volume 1 of London Mathematical Society Student Texts, Cambridge University Press, 1986.","DOI":"10.1017\/CBO9780511809835.002"},{"key":"27_CR10","doi-asserted-by":"crossref","unstructured":"S. Kamin. Inheritance in Smalltalk-80. In Symposium on Principles of Programming Languages, pages 80\u201387, ACM, Jan. 1988.","DOI":"10.1145\/73560.73567"},{"key":"27_CR11","first-page":"184","volume-title":"Symposium on Lisp and Functional Programming","author":"R. Milner","year":"1984","unstructured":"R. Milner. A proposal for standard ML. In Symposium on Lisp and Functional Programming, pages 184\u2013197, ACM, Austin Texas, 1984."},{"key":"27_CR12","doi-asserted-by":"crossref","unstructured":"U. S. Reddy. Objects as closures: abstract semantics of object-oriented languages. In Symposium on Lisp and Functional Programming, pages 289\u2013297, ACM, 1988.","DOI":"10.1145\/62678.62721"},{"key":"27_CR13","doi-asserted-by":"crossref","first-page":"522","DOI":"10.1137\/0205037","volume":"5","author":"D. Scott","year":"1976","unstructured":"D. Scott. Data types as lattices. SIAM J. Comput., 5:522\u2013587, 1976.","journal-title":"SIAM J. Comput."},{"key":"27_CR14","doi-asserted-by":"crossref","unstructured":"A. Snyder. Encapsulation and inheritance in object-oriented programming languages. In Object-Oriented Programming Systems, Languages and Applications, pages 38\u201345, ACM, Sep. 1986.","DOI":"10.1145\/28697.28702"},{"key":"27_CR15","unstructured":"J. E. Stoy. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. MIT press, 1977."},{"key":"27_CR16","doi-asserted-by":"crossref","first-page":"285","DOI":"10.2140\/pjm.1955.5.285","volume":"5","author":"A. Tarski","year":"1955","unstructured":"A. Tarski. A lattice-theoretical fixed point theorem and its applications. Pacific Journal of Mathematics, 5:285\u2013309, 1955.","journal-title":"Pacific Journal of Mathematics"},{"key":"27_CR17","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/3-540-15975-4_26","volume":"201","author":"D. Turner","year":"1985","unstructured":"D. Turner. Miranda: a non-strict functional language with polymorphic types. Lecture Notes in Computer Science, 201:1\u201316, 1985. Functional Programming Languages and Computer Architecture.","journal-title":"Lecture Notes in Computer Science"},{"key":"27_CR18","doi-asserted-by":"crossref","unstructured":"P. Wadler. Comprehending monads. In Symposium on Lisp and Functional Programming, pages 61\u201378, ACM, 1990.","DOI":"10.1145\/91556.91592"},{"key":"27_CR19","unstructured":"P. Wegner. The object-oriented classification paradigm. In B. Shriver and P. Wegner, editors, Research Directions in Object Oriented Programming, pages 479\u2013560, MIT Press, 1987."},{"key":"27_CR20","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1007\/3-540-45910-3_4","volume":"322","author":"P. Wegner","year":"1988","unstructured":"P. Wegner and S. Zdonik. Inheritance as an incremental modification mechanism or what like is and isn't like. Lecture Notes in Computer Science, 322:55\u201377, Aug. 1988. European Conference on Object-Oriented Programming.","journal-title":"Lecture Notes in Computer Science"},{"key":"27_CR21","unstructured":"M. Wolczko. Encapsulation, delegation and inheritance in object-oriented languages. 1990. (submitted for publication)."},{"key":"27_CR22","doi-asserted-by":"crossref","first-page":"108","DOI":"10.1007\/3-540-47891-4_11","volume":"276","author":"M. Wolczko","year":"1987","unstructured":"M. Wolczko. Semantics of Smalltalk-80. Lecture Notes in Computer Science, 276:108\u2013120, 1987. European Conference on Object-Oriented Programming.","journal-title":"Lecture Notes in Computer Science"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computer Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54415-1_64.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T21:18:08Z","timestamp":1742591888000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54415-1_64"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540544159","9783540476177"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-54415-1_64","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}