{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:12:38Z","timestamp":1725664358123},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540585558"},{"type":"electronic","value":"9783540490319"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58555-9_103","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:35:47Z","timestamp":1330274147000},"page":"326-345","source":"Crossref","is-referenced-by-count":1,"title":["OPUS: a formal approach to object-orientation"],"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","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"21_CR1","doi-asserted-by":"crossref","unstructured":"M. Abadi, L. Cardelli: A Theory of Primitive Objects. Unpublished, 1994","DOI":"10.1007\/3-540-57887-0_101"},{"key":"21_CR2","doi-asserted-by":"crossref","unstructured":"G. Bracha, W. Cook: Mixin-based Inheritance. OOPSLA\/ECOOP '90 Conference Proceedings, pp. 303\u2013311, ACM Press, 1990","DOI":"10.1145\/97945.97982"},{"key":"21_CR3","doi-asserted-by":"crossref","unstructured":"G. Castagna, G. Ghelli, G. Longo: A Calculus for Overloaded Functions with Subtyping. Extended Abstract, ACM, 1992","DOI":"10.1145\/141471.141537"},{"key":"21_CR4","unstructured":"L. Cardelli, J. Mitchell: Operations on Records. Proceedings on Mathematical Foundations of Programming Semantics, LNCS 442, 1989"},{"key":"21_CR5","doi-asserted-by":"crossref","unstructured":"L. Cardelli: A semantics of multiple inheritance. Information and Computation 76, pp. 138\u2013164, 1988","DOI":"10.1016\/0890-5401(88)90007-7"},{"key":"21_CR6","doi-asserted-by":"crossref","unstructured":"P. Canning, W. Cook, W. Hill, W. Olthoff: Interfaces for Strongly-Typed Object-Oriented Programming. OOPSLA '89 Conference Proceedings, pp. 457\u2013467, ACM Press, 1989","DOI":"10.1145\/74877.74924"},{"key":"21_CR7","unstructured":"L. Dami: Extensible Lambda Expressions: A Lambda Calculus with Names, Combinations and Alternations. Technical Report, University of Geneva, 1993"},{"key":"21_CR8","unstructured":"L. Dami: Named Parameters: A Foundation for Subtyping. Extended Abstract, Submitted to LICS, University of Geneva, 1994"},{"key":"21_CR9","unstructured":"L. Dami: Software Composition: Towards an Integration of Functional and Object-Oriented Approaches. Ph.D.-Thesis, University of Geneva, 1994"},{"key":"21_CR10","unstructured":"M. Hofmann, B. Pierce: An abstract view of objects and subtyping. Technical Report ECS-LFCS-92-226, University of Edinburgh, 1992"},{"key":"21_CR11","unstructured":"R. Milner: The Poliadic \u03c0-calculus: A tutorial. Technical Report ECS-LFCS-91-180, University of Edinburgh, 1991"},{"key":"21_CR12","doi-asserted-by":"crossref","unstructured":"O. Nierstrasz: A survey of object-oriented concepts. Object-oriented concepts, databases and applications, pp. 3\u201321, ACM Press and Addison-Wesley, 1989","DOI":"10.1145\/63320.66468"},{"key":"21_CR13","doi-asserted-by":"crossref","unstructured":"O. Nierstrasz: Towards an Object Calculus. ECOOP Workshop on Object-Based Concurrent Computing, LNCS 612, 1992","DOI":"10.1007\/3-540-55613-3_1"},{"key":"21_CR14","unstructured":"B. Pierce: A Model of Delegation Based on Existential Types. Working Draft, Inria-Roquencourt, 1993"},{"key":"21_CR15","unstructured":"B. Pierce, D. Turner: Object-oriented Programming without Recursive Types. Technical Report ECS-LFCS-92-225, University of Edinburgh, 1992"},{"key":"21_CR16","doi-asserted-by":"crossref","unstructured":"P. Steyaert, W. Codenie, T. D'Hondt, K. De Hondt, C. Lucas, M. Van Limbergen: Nested Mixin-Methods in Agora. Technical Report vub-prog-tr-93-01, Vrije Universiteit Brussel, ECOOP' 93 Conference Proceedings, 1993","DOI":"10.1007\/3-540-47910-4_12"},{"key":"21_CR17","unstructured":"A. Snyder: Inheritance and the Development of Encapsulated Software Components. Research Directions in Object-Oriented Programming, MIT Press, 1987"},{"key":"21_CR18","unstructured":"P. Steyaert: Towards a Calculus for Objects and its Reflective Variant. Extended Abstract (unpublished), presented at ECOOP '92 workshop on reflection and metalevel architectures, 1992"},{"key":"21_CR19","unstructured":"P. Steyaert: Open Design of Object-Oriented Languages, A Foundation for Specialisable Reflective Language Frameworks. Ph.D.-Thesis, Vrije Universiteit Brussel, 1994"},{"key":"21_CR20","doi-asserted-by":"crossref","unstructured":"P. Wegner, S. Zdonik: Inheritance as an Incremental Modification Mechanism, or What Like is and Isn't Like. ECOOP '88 Conference Proceedings, pp. 55\u201377, Springer-Verlag, 1988","DOI":"10.1007\/3-540-45910-3_4"}],"container-title":["Lecture Notes in Computer Science","FME '94: Industrial Benefit of Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58555-9_103.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:18:50Z","timestamp":1619572730000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58555-9_103"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540585558","9783540490319"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-58555-9_103","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}