{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T14:49:01Z","timestamp":1725634141297},"publisher-location":"London","reference-count":18,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540199274"},{"type":"electronic","value":"9781447130161"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/978-1-4471-3016-1_12","type":"book-chapter","created":{"date-parts":[[2011,11,16]],"date-time":"2011-11-16T12:11:27Z","timestamp":1321445487000},"page":"152-165","source":"Crossref","is-referenced-by-count":0,"title":["OPUS: a Calculus for Modelling Object-Oriented Concepts"],"prefix":"10.1007","author":[{"given":"Tom","family":"Mens","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kim","family":"Mens","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrick","family":"Steyaert","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","volume-title":"A Theory of Primitive Objects: Untyped and First- order Systems","author":"M Abadi","year":"1994","unstructured":"(Abadi et al., 1994) M. Abadi and L. Cardelli. A Theory of Primitive Objects: Untyped and First- order Systems. Theoretical Aspects of Computing Software \u201994 Proceedings, Springer- Verlag, 1994"},{"key":"12_CR2","first-page":"303","volume-title":"Mixin-based Inheritance","author":"G Bracha","year":"1990","unstructured":"(Bracha et al., 1990) G. Bracha and W. Cook. Mixin-based Inheritance. Joint OOPSLA\/ECOOP \u201990 Conference Proceedings, pp. 303\u2013311, ACM Press, 1990"},{"key":"12_CR3","first-page":"457","volume-title":"Interfaces for Strongly- Typed Object-Oriented Programming","author":"P Canning","year":"1989","unstructured":"(Canning et al., 1989) P. Canning, W. Cook, W. Hill and W. Olthoff. Interfaces for Strongly- Typed Object-Oriented Programming. OOPSLA \u201989 Conference Proceedings, pp. 457\u2013467, ACM Press, 1989"},{"key":"12_CR4","first-page":"138","volume-title":"Mormation and Computation 76","author":"L Cardelli","year":"1988","unstructured":"(Cardelli, 1988) L. Cardelli. A semantics of multiple inheritance. Mormation and Computation 76, pp. 138\u2013164, Academic Press, 1988"},{"key":"12_CR5","volume-title":"Operations on Records","author":"L Cardelli","year":"1989","unstructured":"(Cardelli et al., 1989) L. Cardelli and J. Mitchell. Operations on Records. Proceedings on Mathematical Foundations of Programming Semantics, LNCS 442, Springer-Verlag, 1989"},{"key":"12_CR6","first-page":"182","volume-title":"A Calculus for Overloaded Functions with Subtyping","author":"G Castagna","year":"1992","unstructured":"(Castagna et al., 1992) G. Castagna, G. Ghelli and G. Longo. A Calculus for Overloaded Functions with Subtyping. LISP and Functional Programming \u201992 Conference Proceedings, pp. 182\u2013192, ACM Press, 1992"},{"key":"12_CR7","volume-title":"A Denotational Semantics of Inheritance","author":"W Cook","year":"1989","unstructured":"(Cook, 1989) W. Cook. A Denotational Semantics of Inheritance Ph.D.-Thesis, Brown University, 1989"},{"key":"12_CR8","first-page":"433","volume-title":"A Denotational Semantics of Inheritance and its Correctness","author":"W Cook","year":"1989","unstructured":"(Cook et al., 1989) W. Cook and J. Palsberg. A Denotational Semantics of Inheritance and its Correctness. OOPSLA \u201989 Conference Proceedings, pp. 433\u2013444, ACM Press, 1989."},{"key":"12_CR9","volume-title":"Software Composition: Towards an Integration of Functional and Object- Oriented Approaches","author":"L Dami","year":"1994","unstructured":"(Dami, 1994) L. Dami. Software Composition: Towards an Integration of Functional and Object- Oriented Approaches Ph.D.-Thesis, University of Geneva, 1994"},{"key":"12_CR10","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1016\/1385-7258(72)90034-0","volume":"34","author":"N Bruijn de","year":"1972","unstructured":"(de Bruijn, 1972) N. de Bruijn.Lambda-Calculus with Nameless Dummies, a Tool for Automatic Formula Manipulation Indag. Mat. 34, pp. 381\u2013392,1972","journal-title":"Indag. Mat."},{"key":"12_CR11","unstructured":"(Hofmann et al., 1993) M. Hofmann and B. Pierce. A Unifying Type-Theoretic Framework for Objects. Journal of Functional Programming 1, Cambridge University Press, 1993"},{"key":"12_CR12","unstructured":"(Milner, 1991) R. Milner. The Poliadic n-calculus: A tutorial. Technical Report ECS-LFCS-91\u2013180, University of Edinburgh, 1991"},{"key":"12_CR13","volume-title":"Towards an Object Calculus","author":"O Nierstrasz","year":"1992","unstructured":"(Nierstrasz, 1992) O. Nierstrasz. Towards an Object Calculus. ECOOP Workshop on Object- Based Concurrent Computing, LNCS 612, Springer-Verlag, 1992"},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"(Pierce et al., 1994) B. Pierce and D. Turner. Simple Type-Theoretic Foundations for Object- Oriented Programming. Journal of Functional Programming, 1994","DOI":"10.1017\/S0956796800001040"},{"key":"12_CR15","volume-title":"Open Design of Object-Oriented Languages, a Foundation for Specialisable Reflective Language Frameworks","author":"P Steyaert","year":"1994","unstructured":"(Steyaert, 1994) P. Steyaert. Open Design of Object-Oriented Languages, a Foundation for Specialisable Reflective Language Frameworks Ph.D.-Thesis, Vrije Universiteit Brussel, 1994"},{"key":"12_CR16","first-page":"197","volume-title":"Nested Mixin-Methods in Agora","author":"P Steyaert","year":"1993","unstructured":"(Steyaert et al., 1993) P. Steyaert, W. Codenie, T. D\u2019Hondt, K. De Hondt, C. Lucas and M. Van Limbergen. Nested Mixin-Methods in Agora. ECOOP \u201993 Conference Proceedings, pp. 197\u2013219, Springer-Verlag, 1993"},{"key":"12_CR17","volume-title":"Research Directions in Object-Oriented Programming","author":"A Snyder","year":"1987","unstructured":"(Snyder, 1987) A. Snyder. Inheritance and the Development of Encapsulated Software Components. Research Directions in Object-Oriented Programming, MIT Press, 1987"},{"key":"12_CR18","first-page":"55","volume-title":"Inheritance as an Incremental Modification Mechanism, or What Like is and Isn\u2019t Like","author":"P Wegner","year":"1988","unstructured":"(Wegner et al., 1988) P. Wegner and S. Zdonik. Inheritance as an Incremental Modification Mechanism, or What Like is and Isn\u2019t Like. ECOOP \u201988 Conference Proceedings, pp. 55\u201377, Springer-Verlag, 1988"}],"container-title":["OOIS\u201994"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3016-1_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,18]],"date-time":"2020-11-18T05:22:12Z","timestamp":1605676932000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3016-1_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540199274","9781447130161"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3016-1_12","relation":{},"subject":[],"published":{"date-parts":[[1995]]}}}