{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:22:57Z","timestamp":1725664977170},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540642992"},{"type":"electronic","value":"9783540697190"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-64299-4_28","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T23:37:14Z","timestamp":1330299434000},"page":"92-106","source":"Crossref","is-referenced-by-count":7,"title":["An algebra of mixin modules"],"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":[[2005,6,8]]},"reference":[{"key":"4_CR1","unstructured":"D. Ancona. An algebraic framework for separate compilation. Technical Report DISI-TR-97-10, Dipartimento di Informatica e Scienze dell'Informazione, Universit\u00e0 di Genova, 1997. Submitted for publication."},{"key":"4_CR2","unstructured":"D. Ancona. Modular Formal Frameworks for Module Systems. PhD thesis, Dipartimento di Informatica, Universit\u00e0 di Pisa, 1998. To appear."},{"key":"4_CR3","unstructured":"D. Ancona and E. Zucca. A theory of mixin modules: algebraic laws and reduction semantics. In preparation."},{"key":"4_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1007\/3-540-61735-3_12","volume-title":"ALP '96-5th Intl. Conf. on Algebraic and Logic Programming","author":"D. Ancona","year":"1996","unstructured":"D. Ancona and E. Zucca. An algebraic approach to mixins and modularity. In M. Hanus and M. Rodriguez Artalejo, editors, ALP '96-5th Intl. Conf. on Algebraic and Logic Programming, number 1139 in Lecture Notes in Computer Science, pages 179\u2013193, Berlin, 1996. Springer Verlag."},{"key":"4_CR5","series-title":"number 1292 in Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1007\/BFb0033836","volume-title":"Proc. PLILP '97-9th International Symposium on Programming Languages, Implementations, Logics, and Programs","author":"D. Ancona","year":"1997","unstructured":"D. Ancona and E. Zucca. Overriding operators in a mixin-based framework. In H. Glaser, P. Hartel, and H. Kuchen, editors, Proc. PLILP '97-9th International Symposium on Programming Languages, Implementations, Logics, and Programs, number 1292 in Lecture Notes in Computer Science, pages 47\u201361, Berlin, September 1997. Springer Verlag."},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"D. Ancona and E. Zucca. A theory of mixin modules: basic and derived operators. Mathematical Structures in Computer Science, 1998. To appear.","DOI":"10.1017\/S0960129598002576"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"G. Banavar and G. Lindstrom. An application framework for module composition tools. In ECOOP '96, number 1098 in Lecture Notes in Computer Science, pages 91\u2013113. Springer Verlag, July 1996.","DOI":"10.1007\/BFb0053058"},{"issue":"2","key":"4_CR8","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1145\/77600.77621","volume":"37","author":"J.A. Bergstra","year":"1990","unstructured":"J.A. Bergstra, J. Heering, and P. Klint. Module algebra. Journ. ACM, 37(2):335\u2013372, 1990.","journal-title":"Journ. ACM"},{"key":"4_CR9","unstructured":"G. Bracha. The Programming Language JIGSAW. Mixins, Modularity and Multiple Inheritance. PhD thesis, Dept. Comp. Sci., Univ. Utah, 1992."},{"key":"4_CR10","doi-asserted-by":"crossref","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.","DOI":"10.1145\/97945.97982"},{"key":"4_CR11","first-page":"282","volume-title":"Proc. International Conference on Computer Languages","author":"G. Bracha","year":"1992","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."},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"L. Cardelli. Program fragments, linking, and modularization. In Proc. 24th ACM Symp. on Principles of Programming Languages, pages 266\u2013277. ACM Press, January 1997.","DOI":"10.1145\/263699.263735"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"W. Cook. A Denotational Semantics of Inheritance. PhD thesis, Dept. Comp. Sci. Brown University, 1989.","DOI":"10.1145\/74877.74922"},{"key":"4_CR14","unstructured":"J. Courant. A module calculus enjoying the subject-reduction property. In TAPSOFT '97: Theory and Practice of Software Development, number 1214 in Lecture Notes in Computer Science. Springer Verlag, April 1997."},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"D. Duggan and C. Sourelis. Mixin modules. In Intl. Conf. on Functional Programming, Philadelphia, May 1996. ACM Press.","DOI":"10.1145\/232627.232654"},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 1. Equations and Initial Semantics, volume 6 of EATCS Monograph in Computer Science. Springer Verlag, 1985.","DOI":"10.1007\/978-3-642-69962-7"},{"key":"4_CR17","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J.A. Goguen","year":"1992","unstructured":"J.A. Goguen and R.M. Burstall. Institutions: Abstract model theory for computer science. Journ. ACM, 39:95\u2013146, 1992.","journal-title":"Journ. ACM"},{"key":"4_CR18","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":"4_CR19","doi-asserted-by":"crossref","unstructured":"M. P. Jones. Using parameterized signatures to express modular structure. In Proc. 23rd ACM Symp. on Principles of Programming Languages, pages 68\u201378, St. Petersburg Beach, Florida, Jan 1996. ACM Press.","DOI":"10.1145\/237721.237731"},{"key":"4_CR20","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"},{"key":"4_CR21","unstructured":"X. Leroy. A modular module system. Technical Report 2866, Institute National de Recherche en Informatique et Automatique, April 1996."},{"issue":"1","key":"4_CR22","first-page":"1","volume":"3","author":"M. Limberghen Van","year":"1996","unstructured":"M. Van Limberghen and T. Mens. Encapsulation and composition as orthogonal operators on mixins: A solution to multiple inheritance problems. Object Oriented Systems, 3(1):1\u201330, 1996.","journal-title":"Object Oriented Systems"},{"key":"4_CR23","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":"4_CR24","doi-asserted-by":"crossref","unstructured":"U. S. Reddy. Objects as closures: Abstract semantics of object-oriented languages. In Proc. ACM Conf. on Lisp and Functional Programming, pages 289\u2013297, 1988.","DOI":"10.1145\/62678.62721"}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Algebraic Development Techniques"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-64299-4_28.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,20]],"date-time":"2023-06-20T19:30:03Z","timestamp":1687289403000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-64299-4_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540642992","9783540697190"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-64299-4_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}