{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:40:11Z","timestamp":1742913611859,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540422068"},{"type":"electronic","value":"9783540453376"}],"license":[{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45337-7_19","type":"book-chapter","created":{"date-parts":[[2007,7,3]],"date-time":"2007-07-03T16:07:39Z","timestamp":1183478859000},"page":"354-380","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["True Modules for Java-like Languages"],"prefix":"10.1007","author":[{"given":"Davide","family":"Ancona","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elena","family":"Zucca","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,6,21]]},"reference":[{"key":"19_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"154","DOI":"10.1007\/3-540-45102-1_8","volume-title":"ECOOP\u201900-European Conference on Object-Oriented Programming","author":"D. Ancona","year":"2000","unstructured":"D. Ancona, G. Lagorio, and E. Zucca. Jam: A smooth extension of Java with mixins. In E. Bertino, editor, ECOOP\u201900-European Conference on Object-Oriented Programming, number 1850 in Lecture Notes in Computer Science, pages 154\u2013178, Berlin, 2000. Springer Verlag."},{"issue":"4","key":"19_CR2","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1017\/S0960129598002576","volume":"8","author":"D. Ancona","year":"1998","unstructured":"D. Ancona and E. Zucca. A theory of mixin modules: Basic and derived operators. Mathematical Structures in Computer Science, 8(4):401\u2013446, August 1998.","journal-title":"Mathematical Structures in Computer Science"},{"key":"19_CR3","unstructured":"D. Ancona and E. Zucca. A calculus of module systems. Technical Report DISITR-99-09, Dipartimento di Informatica e Scienze dell\u2019Informazione, Universit\u00e0 di Genova, 1999. Submitted for journal publication. Extended version of [4]."},{"key":"19_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1007\/10704567_4","volume-title":"PPDP\u2019-Principles and Practice of Declarative Programming","author":"D. Ancona","year":"1999","unstructured":"D. Ancona and E. Zucca. A primitive calculus for module systems. In G. Nadathur, editor, PPDP\u2019-Principles and Practice of Declarative Programming, number 1702 in Lecture Notes in Computer Science, pages 62\u201379, Berlin, 1999. Springer Verlag."},{"key":"19_CR5","unstructured":"D. Ancona and E. Zucca. True modules for Java-like languages: Design and foundations. Technical Report DISI-TR-00-12, Dipartimento di Informatica e Scienze dell\u2019Informazione, Universit\u00e0 di Genova, August 2000."},{"key":"19_CR6","unstructured":"L. Bauer, A.W. Appel, and E.W. Felten. Mechanisms for secure modular programming in Java. Technical Report CS-TR-603-99, Department of Computer Science, Princeton University, July 1999."},{"key":"19_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1007\/3-540-48743-3_3","volume-title":"ECOOP\u201900-European Conference on Object-Oriented Programming","author":"V. Bono","year":"1999","unstructured":"V. Bono, A. Patel, and V. Shmatikov. A core calculus of classes and mixins. In R. Guerraoui, editor, ECOOP\u201900-European Conference on Object-Oriented Programming, number 1628 in Lecture Notes in Computer Science, pages 43\u201366, Berlin, 1999. Springer Verlag."},{"issue":"number 10","key":"19_CR8","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1145\/97945.97982","volume":"25","author":"G. Bracha","year":"1990","unstructured":"G. Bracha and W. Cook. Mixin-based inheritance. In ACM Symp. on Object-Oriented Programming: Systems, Languages and Applications 1990, pages 303\u2013311. ACM Press, October 1990. SIGPLAN Notices, volume 25, number 10.","journal-title":"ACM Symp. on Object-Oriented Programming: Systems, Languages and Applications 1990"},{"key":"19_CR9","doi-asserted-by":"crossref","unstructured":"G. Bracha and G. Lindstrom. Modularity meets inheritance. In Proc. International Conference on Computer Languages, pages 282\u2013290, San Francisco, April 1992. IEEE Computer Society.","DOI":"10.1109\/ICCL.1992.185492"},{"key":"19_CR10","doi-asserted-by":"crossref","unstructured":"G. Bracha, M. Odersky, D. Stoutmire, and P. Wadler. Making the future safe for the past: Adding genericity to the Java programming language. In ACM Symp. on Object-Oriented Programming: Systems, Languages and Applications 1998, October 1998. Home page: http:\/\/www.cs.bell-labs.com\/who\/wadler\/pizza\/gj\/.","DOI":"10.1145\/286936.286957"},{"key":"19_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1007\/3-540-45102-1_10","volume-title":"ECOOP\u201900-European Conference on Object-Oriented Programming","author":"M. B\u00fcchi","year":"2000","unstructured":"M. B\u00fcchi and W. Weck. Generic wrapping. In E. Bertino, editor, ECOOP\u201900-European Conference on Object-Oriented Programming, number 1850 in Lecture Notes in Computer Science, pages 201\u2013225. Springer Verlag, 2000."},{"key":"19_CR12","doi-asserted-by":"crossref","unstructured":"K. Crary, R. Harper, and S. Puri. What is a recursive module? In PLDI\u201999-ACM Conf. on Programming Language Design and Implementation, 1999.","DOI":"10.1145\/301618.301641"},{"key":"19_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/3-540-48737-9_2","volume-title":"Formal Syntax and Semantics of Java","author":"S. Drossopoulou","year":"1999","unstructured":"S. Drossopoulou and S. Eisenbach. Describing the semantics of Java and proving type soundness. In J. Alves-Foss, editor, Formal Syntax and Semantics of Java, number 1523 in Lecture Notes in Computer Science, pages 41\u201382. Springer Verlag, Berlin, 1999."},{"key":"19_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1007\/3-540-45102-1_9","volume-title":"ECOOP\u201900-European Conference on Object-Oriented Programming","author":"D. Duggan","year":"2000","unstructured":"D. Duggan. A mixin-based, semantics-based approach to reusing domain-specific programming languages. In E. Bertino, editor, ECOOP\u201900-European Conference on Object-Oriented Programming, number 1850 in Lecture Notes in Computer Science, pages 179\u2013200. Springer Verlag, 2000."},{"key":"19_CR15","doi-asserted-by":"crossref","unstructured":"D. Duggan and C. Sourelis. Mixin modules. In Intl. Conf. on Functional Programming, pages 262\u2013273, Philadelphia, June 1996. ACM Press.","DOI":"10.1145\/232629.232654"},{"key":"19_CR16","doi-asserted-by":"crossref","unstructured":"R.B. Findler and M. Flatt. Modular object-oriented programming with units and mixins. In Intl. Conf. on Functional Programming 1998, September 1998.","DOI":"10.1145\/289423.289432"},{"key":"19_CR17","doi-asserted-by":"crossref","unstructured":"K. Fisher and J. Reppy. The design of a class mechanism for Moby. In PLDI\u201999-ACM Conf. on Programming Language Design and Implementation, pages 37\u201349, May 1999.","DOI":"10.1145\/301631.301638"},{"key":"19_CR18","series-title":"Lect Notes Comput Sci","volume-title":"European Symposium on Programming 2000","author":"K. Fisher","year":"2000","unstructured":"K. Fisher and J. Reppy. Extending Moby with inheritance-based subtyping. In European Symposium on Programming 2000, Lecture Notes in Computer Science, Berlin, 2000. Springer Verlag. To appear."},{"key":"19_CR19","doi-asserted-by":"crossref","unstructured":"M. Flatt and M. Felleisen. Units: Cool modules for HOT languages. In PLDI\u201998-ACM Conf. on Programming Language Design and Implementation, pages 236\u2013248, 1998.","DOI":"10.1145\/277652.277730"},{"key":"19_CR20","doi-asserted-by":"crossref","unstructured":"M. Flatt, S. Krishnamurthi, and M. Felleisen. Classes and mixins. In ACM Symp. on Principles of Programming Languages 1998, pages 171\u2013183, January 1998.","DOI":"10.1145\/268946.268961"},{"key":"19_CR21","unstructured":"J. Gosling, B. Joy, and G. Steele. The Java\u2122 Language Specification. Addison-Wesley, 1996."},{"key":"19_CR22","doi-asserted-by":"crossref","unstructured":"R. Harper and M. Lillibridge. A type theoretic approach to higher-order modules with sharing. In ACM Symp. on Principles of Programming Languages 1994, pages 127\u2013137. ACM Press, 1994.","DOI":"10.1145\/174675.176927"},{"key":"19_CR23","doi-asserted-by":"crossref","unstructured":"A. Igarashi, B. Pierce, and P. Wadler. Featherweight Java: A minimal core calculus for Java and GJ. In ACM Symp. on Object-Oriented Programming: Systems, Languages and Applications 1999, pages 132\u2013146, November 1999.","DOI":"10.1145\/320385.320395"},{"key":"19_CR24","doi-asserted-by":"crossref","unstructured":"X. Leroy. Manifest types, modules and separate compilation. In ACM Symp. on Principles of Programming Languages 1994, pages 109\u2013122. ACM Press, 1994.","DOI":"10.1145\/174675.176926"},{"issue":"3","key":"19_CR25","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1017\/S0956796800003683","volume":"10","author":"X. Leroy","year":"2000","unstructured":"X. Leroy. A modular module system. Journal of Functional Programming, 10(3):269\u2013303, May 2000.","journal-title":"Journal of Functional Programming"},{"key":"19_CR26","unstructured":"B. Meyer. Eiffel: The language. Prentice Hall, 1992."},{"key":"19_CR27","volume-title":"The Definition of Standard ML","author":"R. Milner","year":"1990","unstructured":"R. Milner, M. Tofte, and R. Harper. The Definition of Standard ML. The MIT Press, Cambridge, Massachussetts, 1990."},{"key":"19_CR28","doi-asserted-by":"crossref","unstructured":"M. Odersky and P. Wadler. Pizza into Java: Translating theory into practice. In ACM Symp. on Principles of Programming Languages 1997. ACM Press, January 1997.","DOI":"10.1145\/263699.263715"},{"issue":"1","key":"19_CR29","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1002\/(SICI)1096-9942(1998)4:1<27::AID-TAPO3>3.0.CO;2-4","volume":"4","author":"D. Remy","year":"1998","unstructured":"D. Remy and J. Vouillon. Objective ML: An effective object-oriented extension to ML. Theory and Practice of Object Systems, 4(1): 27\u201350, 1998.","journal-title":"Theory and Practice of Object Systems"},{"key":"19_CR30","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/BFb0053028","volume-title":"ECOOP\u201992-European Conference on Object-Oriented Programming","author":"C. Szyperski","year":"1992","unstructured":"C. Szyperski. Import is not inheritance. why we need both: Modules and classes. In O. Lehrmann Madsen, editor, ECOOP\u201992-European Conference on Object-Oriented Programming, number 615 in Lecture Notes in Computer Science, pages 19\u201332, Berlin, 1992. Springer Verlag."}],"container-title":["Lecture Notes in Computer Science","ECOOP 2001 \u2014 Object-Oriented Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45337-7_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,18]],"date-time":"2025-01-18T04:03:30Z","timestamp":1737173010000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/3-540-45337-7_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540422068","9783540453376"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/3-540-45337-7_19","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]},"assertion":[{"value":"21 June 2001","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}