{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T22:30:55Z","timestamp":1648938655546},"reference-count":32,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[2001,8,1]],"date-time":"2001-08-01T00:00:00Z","timestamp":996624000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2014,11,20]],"date-time":"2014-11-20T00:00:00Z","timestamp":1416441600000},"content-version":"vor","delay-in-days":4859,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2001,8]]},"DOI":"10.1016\/s1571-0661(04)00171-9","type":"journal-article","created":{"date-parts":[[2004,1,29]],"date-time":"2004-01-29T10:14:39Z","timestamp":1075371279000},"page":"159-177","source":"Crossref","is-referenced-by-count":0,"title":["A CuCh Interpretation of an Object-Oriented Language1 1Partially supported by MURST Cofin '99 TOSCA."],"prefix":"10.1016","volume":"50","author":[{"given":"Viviana","family":"Bono","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ivano","family":"Salvo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)00171-9_NEWBIB1","series-title":"Monographs in Computer Science","article-title":"A Theory of Objects","author":"Abadi","year":"1996"},{"key":"10.1016\/S1571-0661(04)00171-9_NEWBIB2","doi-asserted-by":"crossref","unstructured":"M. Abadi, L. Cardelli, and R. Viswanathan. An Interpretation of Objects and Object Types. In Proceedings of 23rd ACM Symposium on Principle of Programming Languages, pages 396\u2013409, 1996.","DOI":"10.1145\/237721.237809"},{"key":"10.1016\/S1571-0661(04)00171-9_NEWBIB3","series-title":"The Java Programming Language","author":"Arnold","year":"1996"},{"issue":"8","key":"10.1016\/S1571-0661(04)00171-9_NEWBIB4","doi-asserted-by":"crossref","first-page":"613","DOI":"10.1145\/359576.359579","article-title":"Can Programming be Liberated from vonNeumann Style? A Functional Style and its Algebra of Programs","volume":"21","author":"Backus","year":"1978","journal-title":"ACM Communication"},{"key":"10.1016\/S1571-0661(04)00171-9_NEWBIB5","doi-asserted-by":"crossref","unstructured":"A. Berarducci, and C. B\u00f6hm. General Recursion on Higher\u2013Order Term Algebras. In Proceedings of RTA'01, LNCS. Springer-Verlag, 2001. To appear.","DOI":"10.1007\/3-540-45127-7_4"},{"key":"10.1016\/S1571-0661(04)00171-9_NEWBIB6","series-title":"Formal Languages Description Languages for Computer for Computer Programming","first-page":"179","article-title":"The CUCH as a Formal and Description Language","author":"B\u00f6hm","year":"1966"},{"key":"10.1016\/S1571-0661(04)00171-9_NEWBIB7","doi-asserted-by":"crossref","unstructured":"C. B\u00f6hm. Combinatory Foundation of Functional Programming. In ACM Symposium on Lisp and Functional Programming, pages 29\u201336, 1982.","DOI":"10.1145\/800068.802132"},{"key":"10.1016\/S1571-0661(04)00171-9_NEWBIB8","doi-asserted-by":"crossref","unstructured":"C. B\u00f6hm. Functional Programming and Combinatory Algebras (invited lecture). In M.P. Chytil, L. Janiga, and Koubek V., editors, Proceedings of 4th Mathematical Foundations of Computer Science, volume 324 of LNCS, pages 14\u201326. Springer-Verlag, 1988.","DOI":"10.1007\/BFb0017128"},{"key":"10.1016\/S1571-0661(04)00171-9_NEWBIB9","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1016\/0304-3975(85)90135-5","article-title":"Authomatic Synthesis of Typed \u03bb-Programs on Term Algebras","volume":"39","author":"B\u00f6hm","year":"1985","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"10.1016\/S1571-0661(04)00171-9_NEWBIB10","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1007\/BF00995737","article-title":"A CUCH-machine: the Authomatic Treatment of Bound Variables","volume":"1","author":"B\u00f6hm","year":"1972","journal-title":"International Journal of Computer and Information Sciences"},{"issue":"2","key":"10.1016\/S1571-0661(04)00171-9_NEWBIB11","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/BF00976061","article-title":"Notes on a CUCH-machine: the Authomatic Treatment of Bound Variables","volume":"2","author":"B\u00f6hm","year":"1973","journal-title":"International Journal of Computer and Information Sciences"},{"key":"10.1016\/S1571-0661(04)00171-9_NEWBIB12","series-title":"Automata Theory","first-page":"35","article-title":"Introduction to the CUCH","author":"B\u00f6hm","year":"1966"},{"key":"10.1016\/S1571-0661(04)00171-9_NEWBIB13","doi-asserted-by":"crossref","unstructured":"C. B\u00f6hm, A. Piperno, and S. Guerrini. Lambda-definition of function(al)s by normal forms. In D. Sannella, editor, Proceedings of ESOP'94, volume 788 of LNCS, pages 135\u2013149. Springer-Verlag, April 1994.","DOI":"10.1007\/3-540-57880-3_9"},{"key":"10.1016\/S1571-0661(04)00171-9_NEWBIB14","doi-asserted-by":"crossref","unstructured":"V. Bono and M. Bugliesi. Interpretations of extensible objects and types. In FCT'99, volume 1684 of LNCS, pages 112\u2013123. Springer-Verlag, 1999. An extended version was accepted for publication on ACM Transaction TOCL, 2001.","DOI":"10.1007\/3-540-48321-7_8"},{"key":"10.1016\/S1571-0661(04)00171-9_NEWBIB15","doi-asserted-by":"crossref","unstructured":"V. Bono and K. Fisher. An Imperative First-Order Calculus with Object Extension. In ECOOP '98, volume 1445 of LNCS, pages 462\u2013497. Springer-Verlag, 1998. (A preliminary version appeared in the electronic proceedings of FOOL5, 1998).","DOI":"10.1007\/BFb0054104"},{"key":"10.1016\/S1571-0661(04)00171-9_NEWBIB16","doi-asserted-by":"crossref","unstructured":"V. Bono, A. Patel, V. Shmatikov, and J. C. Mitchell. A core calculus of classes and objects. In MFPS'99, volume 20 of Electronic Notes in TCS, pages 1\u201322. Elsevier, 1999.","DOI":"10.1016\/S1571-0661(04)80065-3"},{"key":"10.1016\/S1571-0661(04)00171-9_NEWBIB17","doi-asserted-by":"crossref","unstructured":"R. Breu. Algebraic Specification Techniques in Object Oriented Programming Environments, volume 562 of LNCS. Springer-Verlag, 1991.","DOI":"10.1007\/3-540-54972-2"},{"issue":"1\/2","key":"10.1016\/S1571-0661(04)00171-9_NEWBIB18","doi-asserted-by":"crossref","first-page":"108","DOI":"10.1006\/inco.1999.2829","article-title":"Comparing Objects Encondings","volume":"155","author":"Bruce","year":"1999","journal-title":"Information and Computation"},{"key":"10.1016\/S1571-0661(04)00171-9_NEWBIB19","doi-asserted-by":"crossref","unstructured":"K.B. Bruce, L. Petersen, and A. Fiech. Subtyping is not a Good \u201cMatch\u201d for Object-Oriented Languages. In Proceedings of ECOOP'97: European Conference on Object-Oriented Programming, volume 1241 of LNCS, pages 104\u2013127. Springer-Verlag, 1997.","DOI":"10.1007\/BFb0053376"},{"key":"10.1016\/S1571-0661(04)00171-9_NEWBIB20","doi-asserted-by":"crossref","unstructured":"K.B. Bruce, A. Shuett, and R. van Gent. PolyTOIL: a Type-Safe Polymorphic Object-Oriented Language. In Proceedings of ECOOP'95: European Conference on Object-Oriented Programming, volume 952 of LNCS, pages 27\u201351. Springer-Verlag, 1995.","DOI":"10.1007\/3-540-49538-X_3"},{"issue":"2\/3","key":"10.1016\/S1571-0661(04)00171-9_NEWBIB21","doi-asserted-by":"crossref","first-page":"138","DOI":"10.1016\/0890-5401(88)90007-7","article-title":"A Semantics of Multiple Inheritance","volume":"76","author":"Cardelli","year":"1988","journal-title":"Information and Computation"},{"issue":"2","key":"10.1016\/S1571-0661(04)00171-9_NEWBIB22","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1016\/0304-3975(95)00071-4","article-title":"A Meta Language for Typed Object Oriented Languages","volume":"151","author":"Castagna","year":"1995","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"10.1016\/S1571-0661(04)00171-9_NEWBIB23","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1006\/inco.1995.1033","article-title":"A Calculus of Overloaded Functions with Subtyping","volume":"117","author":"Castagna","year":"1995","journal-title":"Information and Computation"},{"key":"10.1016\/S1571-0661(04)00171-9_NEWBIB24","doi-asserted-by":"crossref","unstructured":"W.R. Cook. A Denotational Semantics of Inheritance. PhD thesis, Brown University, 1989.","DOI":"10.1145\/74877.74922"},{"key":"10.1016\/S1571-0661(04)00171-9_NEWBIB25","series-title":"The Annotated C++ Reference Manual","author":"Ellis","year":"1990"},{"issue":"1","key":"10.1016\/S1571-0661(04)00171-9_NEWBIB26","first-page":"3","article-title":"A Lambda Calculus of Objects and Method Specialization","volume":"1","author":"Fisher","year":"1994","journal-title":"Nordic Journal of Computing"},{"issue":"1","key":"10.1016\/S1571-0661(04)00171-9_NEWBIB27","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1002\/(SICI)1096-9942(1998)4:1<3::AID-TAPO2>3.0.CO;2-W","article-title":"On the Relationship between Classes, Objects and Data Abstraction","volume":"4","author":"Fisher","year":"1998","journal-title":"Theory and Practice of Object Systems"},{"key":"10.1016\/S1571-0661(04)00171-9_NEWBIB28","series-title":"Smalltalk-80, The Language and its Implementation","author":"Goldberg","year":"1983"},{"key":"10.1016\/S1571-0661(04)00171-9_NEWBIB29","doi-asserted-by":"crossref","unstructured":"M. Hoffman and B. C. Pierce. A Unifying Type\u2013Theoretic Framework for Objects. Journal of Functional Programming, 5(4):593\u2013635, 1995. A preliminary version appeared in Proceedings of TACS94.","DOI":"10.1017\/S0956796800001490"},{"key":"10.1016\/S1571-0661(04)00171-9_NEWBIB30","doi-asserted-by":"crossref","unstructured":"A. Igarashi, B. Pierce, and P. Wadler. Featherweight Java - A Minimal Core Calculus for Java and GJ. In Proc. of OOPSLA, volume 34 of ACM SIGPLAN Notices, pages 132\u2013146. ACM press, 1999.","DOI":"10.1145\/320384.320395"},{"key":"10.1016\/S1571-0661(04)00171-9_NEWBIB31","series-title":"Theoretical Aspects of Object-Oriented Programming","first-page":"463","article-title":"Two semantic models of object-oriented languages","author":"Kamin","year":"1994"},{"key":"10.1016\/S1571-0661(04)00171-9_NEWBIB32","unstructured":"A. Manieri. Un modello funzionale ad oggetti: Cuch++. Tesi di Laurea, Universit\u00e0 di Roma, La Sapienza (in italian), 1998."}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104001719?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104001719?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,3,29]],"date-time":"2020-03-29T12:29:01Z","timestamp":1585484941000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104001719"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,8]]},"references-count":32,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2001,8]]}},"alternative-id":["S1571066104001719"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)00171-9","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2001,8]]}}}