{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,17]],"date-time":"2026-09-17T11:31:18Z","timestamp":1789644678590,"version":"4.0.0"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540617358","type":"print"},{"value":"9783540706724","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61735-3_12","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:17:34Z","timestamp":1330294654000},"page":"179-193","source":"Crossref","is-referenced-by-count":12,"title":["An algebraic approach to mixins and modularity"],"prefix":"10.1007","author":[{"given":"Davide","family":"Ancona","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Elena","family":"Zucca","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"12_CR1","volume-title":"Pure and Applied Mathematics","author":"J. Ad\u00e1mek","year":"1990","unstructured":"J. Ad\u00e1mek, H. Herrlich, and G. Strecker. Abstract and Concrete Categories. Pure and Applied Mathematics. Wiley Interscience, New York, 1990."},{"key":"12_CR2","unstructured":"D. Ancona and E. Zucca. A theory of mixin modules. In preparation."},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"D. Ancona and E. Zucca. A formal framework for modules with state. In AMAST '96, LNCS, 1101, pages 148\u2013162, 1996. Springer Verlag.","DOI":"10.1007\/BFb0014313"},{"issue":"2","key":"12_CR4","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":"12_CR5","doi-asserted-by":"crossref","unstructured":"M. Bidoit and A. Tarlecki. Behavioural satisfaction and equivalence in concrete model categories. In CAAP '96, LNCS, 1059, pages 241\u2013256, 1996. Springer Verlag.","DOI":"10.1007\/3-540-61064-2_41"},{"key":"12_CR6","unstructured":"G. Bracha. The Programming Language JIGSAW: Mixins, Modularity and Multiple Inheritance. PhD thesis, Dept. Comp. Sci., Univ. Utah, 1992."},{"key":"12_CR7","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, 25, 10.","DOI":"10.1145\/97945.97982"},{"key":"12_CR8","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":"12_CR9","first-page":"83","volume-title":"Logical Environments","author":"R. Diaconescu","year":"1993","unstructured":"R. Diaconescu, J. Goguen, and P. Stefaneas. Logical support for modularisation. In Gerard Huet and Gordon Plotkin, editors, Logical Environments, pages 83\u2013130, Cambridge, 1993. University Press."},{"key":"12_CR10","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":"12_CR11","doi-asserted-by":"crossref","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":"12_CR12","doi-asserted-by":"crossref","unstructured":"B. Meyer. Genericity versus inheritance. In ACM Symp. on Object-Oriented Programming: Systems, Languages and Applications 1986, pages 391\u2013405. ACM Press, November 1986. SIGPLAN Notices, 21, 11.","DOI":"10.1145\/28697.28738"},{"key":"12_CR13","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, Massachusetts, 1990."},{"key":"12_CR14","volume-title":"Technical Report ICS PAS 791","author":"D. Sannella","year":"1995","unstructured":"D. Sannella and A. Tarlecki. Model-theoretic foundations for formal program development: Basic concepts and motivation. Technical Report ICS PAS 791, Inst. Comp. Sci. PAS, Warsaw, 1995."},{"key":"12_CR15","series-title":"LNCS, 1113","volume-title":"Mathematical Foundations of Computer Science 1996","author":"E. Zucca","year":"1996","unstructured":"E. Zucca. From static to dynamic abstract data-types. In Mathematical Foundations of Computer Science 1996, LNCS, 1113, Berlin, 1996. Springer Verlag."}],"container-title":["Lecture Notes in Computer Science","Algebraic and Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61735-3_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,20]],"date-time":"2023-06-20T19:16:33Z","timestamp":1687288593000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61735-3_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540617358","9783540706724"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-61735-3_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996]]}}}