{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:02:07Z","timestamp":1725483727807},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540676607"},{"type":"electronic","value":"9783540451020"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-45102-1_6","type":"book-chapter","created":{"date-parts":[[2007,5,1]],"date-time":"2007-05-01T09:55:00Z","timestamp":1178013300000},"page":"108-128","source":"Crossref","is-referenced-by-count":23,"title":["A Basic Model of Typed Components"],"prefix":"10.1007","author":[{"given":"Jo\u00e3o Costa","family":"Seco","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lu\u00eds","family":"Caires","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2000,5,12]]},"reference":[{"key":"6_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1007\/3-540-61735-3_12","volume-title":"Algebraic and Logic Programming, 5th International Conference, ALP\u201996","author":"D. Ancona","year":"1996","unstructured":"Davide Ancona and Elena Zucca. A primitive calculus of module systems. In Michael Hanus and Mario Rodr\u00edguez-Artalejo, editors, Algebraic and Logic Programming, 5th International Conference, ALP\u201996, volume 1139 of Lecture Notes in Computer Science, pages 179\u2013193, Aachen, Germany, 25\u201327 September 1996. Springer-Verlag."},{"key":"6_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1007\/3-540-48743-3_3","volume-title":"ECOOP\u2019 99-Object-Oriented Programming 13th European Conference, Lisbon Portugal","author":"V. Bono","year":"1999","unstructured":"Viviana Bono, Amit Patel, and Vitaly Shmatikov. A core calculus of classes and mixins. In Rachid Guerraoui, editor, ECOOP\u2019 99-Object-Oriented Programming 13th European Conference, Lisbon Portugal, volume 1628 of Lecture Notes in Computer Science, pages 43\u201366. Springer-Verlag, New York, N.Y., June 1999."},{"key":"6_CR3","unstructured":"Gilad Bracha. The Programming Language Jigsaw: Mixins, Modularity and Multiple Inheritance. Ph.D. thesis, Dept. of Computer Science, University of Utah, March 1992."},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Gilad Bracha and William Cook. Mixin-based inheritance. In Norman Meyrowitz, editor, Proceedings of the Conference on Object-Oriented Programming: Systems, Languages, and Applications \/ Proceedings of the European Conference on Object-Oriented Programming, pages 303\u2013311, Ottawa, Canada, October 1990. ACM Press.","DOI":"10.1145\/97945.97982"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Martin Buchi and Wolfgang Weck. Compound types for Java. In Proceedings of the 13th Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA-98), volume 33, 10 of ACM SIGPLAN Notices, pages 362\u2013373, New York, 1998. ACM Press.","DOI":"10.1145\/286936.286975"},{"key":"6_CR6","unstructured":"Luca Cardelli. Typeful programming. In E. J. Neuhold and M. Paul, editors, Formal Description of Programming Concepts, IFIP State-of-the-Art Reports, pages 431\u2013507. Springer-Verlag, New York, N.Y., 1991."},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Luca Cardelli. Program fragments, linking, and modularization. In Conference Record of POPL\u2019 97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 266\u2013277, Paris, France, 15\u201317 January 1997.","DOI":"10.1145\/263699.263735"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Robert Bruce Findler and Matthew Flatt. Modular object-oriented programming with units and mixins. In Proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICFP\u2019 98), volume 34(1) of ACM SIGPLAN Notices, pages 94\u2013104. ACM, June 1999.","DOI":"10.1145\/291251.289432"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"Matthew Flatt and Matthias Felleisen. Units: Cool modules for HOT languages. In Proceedings of the ACM SIGPLAN\u201998 Conference on Programming Language Design and Implementation (PLDI), pages 236\u2013248, Montreal, Canada, 17\u201319 June 1998.","DOI":"10.1145\/277652.277730"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"Matthew Flatt, Shriram Krishnamurthi, and Matthias Felleisen. Classes and mixins. In Conference Record of POPL 98: The 25TH ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, California, pages 171\u2013183, New York, N.Y., January 1998. ACM.","DOI":"10.1145\/268946.268961"},{"issue":"10","key":"6_CR11","doi-asserted-by":"crossref","first-page":"426","DOI":"10.1145\/217839.217880","volume":"95","author":"I. R. Forman","year":"1995","unstructured":"I. R. Forman, M. H. Conner, S. H. Danforth, and L. K. Raper. Ira Forman, \u201cRelease-to-Release Binary Compatibility in SOM\u201d. ACM SIGPLAN Notices OOPSLA\u201995, 30(10):426\u2013438, October 1995.","journal-title":"ACM SIGPLAN Notices OOPSLA\u2019"},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"Neal Glew and Greg Morrisett. Type-safe linking and modular assembly language. In Conference Record of POPL 99: The 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Antonio, Texas, pages 250\u2013261, New York, N.Y., January 1999. ACM.","DOI":"10.1145\/292540.292563"},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"Robert Harper and Mark Lillibridge. A type-theoretic approach to higher-order modules with sharing. In ACM, editor, Conference record of POPL\u2019 94, 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages: papers presented at the Symposium: Portland, Oregon, January 17\u201321, 1994, pages 123\u2013137, New York, NY, USA, 1994. ACM Press.","DOI":"10.1145\/174675.176927"},{"key":"6_CR14","unstructured":"JavaSoft. JavaBeans\u2122. http:\/\/java.sun.com\/beans , December 1996. Version 1.00-A."},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"Dinesh Katiyar, David Luckham, and John Mitchell. A type system for prototyping languages. In ACM, editor, Conference record of POPL\u2019 94, 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages: papers presented at the Symposium: Portland, Oregon, January 17\u201321, 1994, pages 138\u2013150, New York, NY, USA, 1994. ACM Press.","DOI":"10.1145\/174675.177838"},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"Dinesh Katiyar, David Luckham, John Mitchell, and Sigurd Meldal. Polymorphism and subtyping in interfaces. ACM SIGPLAN Notices, 29(8):22\u201334, August 1994.","DOI":"10.1145\/185087.185098"},{"key":"6_CR17","doi-asserted-by":"crossref","unstructured":"John Lamping. Typing the specialization interface. In Andreas Paepcke, editor, Proceedings of the 8th Annual Conference on Object-Oriented Programming Systems, Languages and Applications, pages 201\u2013214, Washington, DC, USA, 1993.","DOI":"10.1145\/165854.165891"},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"Sheng Liang and Gilad Bracha. Dynamic class loading in the Java\u2122 virtual machine. In Proceedings of the 13th Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA-98), volume 33, 10 of ACM SIGPLAN Notices, pages 36\u201344. ACM Press, 1998.","DOI":"10.1145\/286936.286945"},{"key":"6_CR19","unstructured":"Boris Magnusson. Code reuse considered harmful. J. of Object-Oriented Programming, 4(3), November 1991."},{"key":"6_CR20","volume-title":"Inside CORBA: Distributed Object Standards and Applications","author":"T. J. Mowbray","year":"1997","unstructured":"Thomas J. Mowbray and William A. Ruh. Inside CORBA: Distributed Object Standards and Applications. Addison-Wesley, Reading, MA, USA, 1997."},{"key":"6_CR21","doi-asserted-by":"crossref","unstructured":"Dale Rogerson. Inside COM: Microsoft\u2019s Component Object Model. Microsoft Press, 1997.","DOI":"10.1049\/ee.1997.0007"},{"key":"6_CR22","unstructured":"Jo\u00e3o Costa Seco and Lu\u00eds Caires. A basic model of typed components. Technical report, Departamento de Inform\u00e1tica, Universidade Nova de Lisboa, 2000."},{"key":"6_CR23","volume-title":"Component Software: Beyond Object-Oriented Programming","author":"C. Szyperski","year":"1998","unstructured":"Clemens Szyperski. Component Software: Beyond Object-Oriented Programming. ACM Press and Addison-Wesley, New York, N.Y., 1998."},{"issue":"3","key":"6_CR24","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1007\/BF01806107","volume":"4","author":"David Ungar","year":"1991","unstructured":"David Ungar, Craig Chambers, Bay-Wei Chang, and Urs H\u00f6lzle. Organizing programs without classes. Lisp and Symbolic Computation, 4(3):223\u2013242, July 1991.","journal-title":"Lisp and Symbolic Computation"},{"key":"6_CR25","unstructured":"Wolfgang Weck. Inheritance using contracts and object composition. In Wolfgang Weck, Jan Bosch, and Clemens Szyperski, editors, Proceedings of the Second International Workshop on Component-Oriented Programming (WCOP\u201997), pages 105\u201312. Turku Centre for Computer Science, September 1997."},{"key":"6_CR26","unstructured":"Wolfgang Weck and Clemens Szypersky. Do we need inheritance? In Proceedings of the Workshop on Composability Issues on Object-Orientation (ECOOP\u201996), 1996."}],"container-title":["Lecture Notes in Computer Science","ECOOP 2000 \u2014 Object-Oriented Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45102-1_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,11]],"date-time":"2023-05-11T17:24:05Z","timestamp":1683825845000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45102-1_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540676607","9783540451020"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-45102-1_6","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}