{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:56:28Z","timestamp":1725562588520},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540221647"},{"type":"electronic","value":"9783540248491"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24849-1_6","type":"book-chapter","created":{"date-parts":[[2010,8,8]],"date-time":"2010-08-08T20:34:24Z","timestamp":1281299664000},"page":"83-98","source":"Crossref","is-referenced-by-count":0,"title":["A Core Calculus of Higher-Order Mixins and Classes"],"prefix":"10.1007","author":[{"given":"Lorenzo","family":"Bettini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Viviana","family":"Bono","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Silvia","family":"Likavec","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"5","key":"6_CR1","doi-asserted-by":"publisher","first-page":"641","DOI":"10.1145\/937563.937567","volume":"25","author":"D. Ancona","year":"2003","unstructured":"Ancona, D., Lagorio, G., Zucca, E.: Jam\u2014Designing a Java extension with mixins. ACM Transactions on Programming Languages and Systems\u00a025(5), 641\u2013712 (2003)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"4","key":"6_CR2","first-page":"401","volume":"8","author":"D. Ancona","year":"1998","unstructured":"Ancona, D., Zucca, E.: A theory of mixin modules: Basic and derived operators. MSCS\u00a08(4), 401\u2013446 (1998)","journal-title":"MSCS"},{"key":"6_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"354","DOI":"10.1007\/3-540-45337-7_19","volume-title":"ECOOP 2001 - Object-Oriented Programming","author":"D. Ancona","year":"2001","unstructured":"Ancona, D., Zucca, E.: True modules for Java-like languages. In: Knudsen, J.L. (ed.) ECOOP 2001. LNCS, vol.\u00a02072, pp. 354\u2013380. Springer, Heidelberg (2001)"},{"issue":"6","key":"6_CR4","doi-asserted-by":"publisher","first-page":"701","DOI":"10.1017\/S0960129502003687","volume":"12","author":"D. Ancona","year":"2002","unstructured":"Ancona, D., Zucca, E.: Atheory of mixin modules: Algebraic laws and reduction semantics. Mathematical Structures in Computer Science\u00a012(6), 701\u2013737 (2002)","journal-title":"Mathematical Structures in Computer Science"},{"key":"6_CR5","unstructured":"Bak, L., Bracha, G., Grarup, S., Griesemer, R., Griswold, D., H\u00f6lzle, U.: Mixins in Strongtalk. In: Proc. of Inheritance Workshop at ECOOP 2002 (2002)"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Bettini, L., Bono, V., Likavec, S.: A Core Calculus of Mixin-Based Incomplete Objects. In: Proc. of FOOL, vol.\u00a011 (2004)","DOI":"10.1145\/1028664.1028753"},{"key":"6_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1007\/3-540-46000-4_8","volume-title":"Coordination Models and Languages","author":"L. Bettini","year":"2002","unstructured":"Bettini, L., Bono, V., Venneri, B.: Coordinating Mobile Object-Oriented Code. In: Arbab, F., Talcott, C. (eds.) COORDINATION 2002. LNCS, vol.\u00a02315, pp. 56\u201371. Springer, Heidelberg (2002)"},{"key":"6_CR8","unstructured":"Bettini, L., Bono, V., Venneri, B.: Subtyping Mobile Classes and Mixins. In: Proc. of Int. Workshops on Foundations of Object-Oriented Languages, FOOL, vol.\u00a010 (2003)"},{"key":"6_CR9","unstructured":"Bono, V.: Type Systems for the Object Oriented Paradigm. PhD thesis, Univ. di Torino (1999)"},{"key":"6_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/3-540-48743-3_3","volume-title":"ECOOP \u201999 - Object-Oriented Programming","author":"V. Bono","year":"1999","unstructured":"Bono, V., Patel, A., Shmatikov, V.: A core calculus of classes and mixins. In: Guerraoui, R. (ed.) ECOOP 1999. LNCS, vol.\u00a01628, pp. 43\u201366. Springer, Heidelberg (1999)"},{"key":"6_CR11","series-title":"ENTCS","volume-title":"Proc. of the 15th Conference on the Mathematical Foundations of Programming Semantics (MFPS 1999)","author":"V. Bono","year":"1999","unstructured":"Bono, V., Patel, A., Shmatikov, V., Mitchell, J.C.: A core calculus of classes and objects. In: Proc. of the 15th Conference on the Mathematical Foundations of Programming Semantics (MFPS 1999). ENTCS, vol.\u00a0220, Elsevier, Amsterdam (1999)"},{"key":"6_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1007\/3-540-45309-1_18","volume-title":"2028","author":"G. Boudol","year":"2001","unstructured":"Boudol, G.: The recursive record semantics of objects revised. In: Sands, D. (ed.) ESOP 2001. LNCS, vol.\u00a02028, pp. 269\u2013283. Springer, Heidelberg (2001)"},{"key":"6_CR13","unstructured":"Boyen, N., Lucas, C., Steyaert, P.: Generalized mixin-based inheritance to support multiple inheritance. Technical Report vub-prog-tr-94-12, Vrije Universiteit Brussel (1994)"},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"Bracha, G., Cook, W.: Mixin-based inheritance. In: Proc. of OOPSLA\/ECOOP, pp. 303\u2013311 (1990)","DOI":"10.1145\/97945.97982"},{"key":"6_CR15","volume-title":"Foundations of Object-Oriented Languages \u2013 Types and Semantics","author":"K. Bruce","year":"2002","unstructured":"Bruce, K.: Foundations of Object-Oriented Languages \u2013 Types and Semantics. The MIT Press, Cambridge (2002)"},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"Cook, W.R.: A Denotational Semantics of Inheritance. PhD thesis, Brown University (1989)","DOI":"10.1145\/74877.74922"},{"key":"6_CR17","doi-asserted-by":"crossref","unstructured":"Crank, E., Felleisen, M.: Parameter-passing and the lambda calculus. In: Proc. POPL 1991, pp. 233\u2013244 (1991)","DOI":"10.1145\/99583.99616"},{"issue":"2","key":"6_CR18","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1016\/0304-3975(92)90014-7","volume":"103","author":"M. Felleisen","year":"1992","unstructured":"Felleisen, M., Hieb, R.: The revised report on the syntactic theories of sequential control and state. Theoretical Computer Science\u00a0103(2), 235\u2013271 (1992)","journal-title":"Theoretical Computer Science"},{"key":"6_CR19","doi-asserted-by":"crossref","unstructured":"Flatt, M., Krishnamurthi, S., Felleisen, M.: Classes and mixins. In: Proc. of POPL 1998, pp. 171\u2013183 (1998)","DOI":"10.1145\/268946.268961"},{"key":"6_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/3-540-48737-9_7","volume-title":"Formal Syntax and Semantics of Java","author":"M. Flatt","year":"1999","unstructured":"Flatt, M., Krishnamurthi, S., Felleisen, M.: A Programmer\u2019s Reduction Semantics for Classes and Mixins. In: Alves-Foss, J. (ed.) Formal Syntax and Semantics of Java. LNCS, vol.\u00a01523, pp. 241\u2013269. Springer, Heidelberg (1999)"},{"key":"6_CR21","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"E. Gamma","year":"1995","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading (1995)"},{"key":"6_CR22","unstructured":"Limberghen, M.V., Mens, T.: Encapsulation and composition as orthogonal operators on mixins: a solution to multiple inheritance problems. Object Oriented Systems\u00a03(1) (1996)"},{"key":"6_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0035784","volume-title":"Automata, Languages and Programming","author":"A. Mason","year":"1989","unstructured":"Mason, A., Talcott, C.: Programming, transforming, and proving with function abstractions and memories. In: Ronchi Della Rocca, S., Ausiello, G., Dezani-Ciancaglini, M. (eds.) ICALP 1989. LNCS, vol.\u00a0372, Springer, Heidelberg (1989)"},{"key":"6_CR24","unstructured":"Patel, A.: Obstacl: a language with objects, subtyping, and classes. PhD thesis, Stanford University (2001)"},{"issue":"1","key":"6_CR25","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1006\/inco.1994.1093","volume":"115","author":"A. Wright","year":"1994","unstructured":"Wright, A., Felleisen, M.: A syntactic approach to type soundness. Information and Computation\u00a0115(1), 38\u201394 (1994)","journal-title":"Information and Computation"}],"container-title":["Lecture Notes in Computer Science","Types for Proofs and Programs"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24849-1_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:57:42Z","timestamp":1605761862000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24849-1_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540221647","9783540248491"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24849-1_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}