{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T07:22:44Z","timestamp":1648884164043},"reference-count":41,"publisher":"EDP Sciences","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["RAIRO-Theor. Inf. Appl."],"published-print":{"date-parts":[[2009,7]]},"DOI":"10.1051\/ita\/2009008","type":"journal-article","created":{"date-parts":[[2009,3,11]],"date-time":"2009-03-11T16:19:27Z","timestamp":1236788367000},"page":"517-565","source":"Crossref","is-referenced-by-count":1,"title":["Dynamic overloading with copy semantics in object-oriented languages: a formal account"],"prefix":"10.1051","volume":"43","author":[{"given":"Lorenzo","family":"Bettini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sara","family":"Capecchi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Betti","family":"Venneri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"250","published-online":{"date-parts":[[2009,3,12]]},"reference":[{"key":"R1","doi-asserted-by":"crossref","unstructured":"M. Abadi and L. Cardelli,A Theory of Objects. Springer (1996).","DOI":"10.1007\/978-1-4419-8598-9"},{"key":"R2","unstructured":"E. Allen, D. Chase, J. Hallett, V. Luchangco, J.W. Maessen, S. Ryu, G.L. Steele and S. Tobin-Hochstadt,The Fortress language specification Version 1.0(2006). Sun Microsystems, available on line."},{"key":"R3","unstructured":"D. Ancona, S. Drossopoulou and E. Zucca, Overloading and Inheritance. InFOOL 8(2001)."},{"key":"R4","unstructured":"K. Arnold, J. Gosling and D. Holmes,The Java Programming Language. Addison-Wesley, 3rd edition (2000)."},{"key":"R5","unstructured":"A. Alexandrescu,Modern C++ Design, Generic Programming and Design Patterns Applied. Addison Wesley (2001)."},{"key":"R6","unstructured":"J. Boyland and G. Castagna, Parasitic methods: an implementation of multi-methods for Java, InOOPSLA '97: Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applicationsACM Press, New York, NY, USA (1997) 66\u201376."},{"key":"R7","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1002\/j.1096-9942.1995.tb00019.x","volume":"1","author":"Bruce","year":"1995","journal-title":"Theory and Practice of Object Systems"},{"key":"R8","doi-asserted-by":"crossref","first-page":"581","DOI":"10.1002\/spe.709","volume":"36","author":"Bettini","year":"2006","journal-title":"Software\u00a0\u2013 Practice and Experience"},{"key":"R9","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1007\/BF01806961","volume":"1","author":"Bobrow","year":"1989","journal-title":"Lisp and Symbolic Computation"},{"key":"R10","unstructured":"Building an Object-Oriented Database System, The Story of O2. edited by F. Bancilhon, C. Delobel and P. Kanellakis. Morgan Kaufmann (1992)."},{"key":"R11","unstructured":"D. Beyer, C. Lewerentz and F. Simon, Impact of Inheritance on Metrics for Size, Coupling, and Cohesion in Object-Oriented Systems. InIWSM '00: Proceedings of the 10th International Workshop on New Approaches in Software Measurement, Springer (2000) 1\u201317."},{"key":"R12","doi-asserted-by":"crossref","unstructured":"K.B. Bruce,Foundations of Object-Oriented Languages: Types and Semantics. MIT Press (2002).","DOI":"10.1006\/inco.2001.2931"},{"key":"R13","doi-asserted-by":"crossref","first-page":"138","DOI":"10.1016\/0890-5401(88)90007-7","volume":"76","author":"Cardelli","year":"1988","journal-title":"Inform. Comput."},{"key":"R14","unstructured":"P. Carbonetto, An implementation for multiple dispatch in Java using the elide framework. citeseer.nj.nec.com\/575037.html (2002)."},{"key":"R15","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1016\/0304-3975(95)00071-4","volume":"151","author":"Castagna","year":"1995","journal-title":"Theoretical Computer Science"},{"key":"R16","unstructured":"G. Castagna,Object-oriented programming: a unified foundation. Birkhauser Boston Inc., Cambridge, MA, USA (1997)."},{"key":"R17","unstructured":"G. Castagna, G. Ghelli and G. Longo, in A semantics for\u03bb-early: a calculus with overloading and early binding. edited by M. Bezem and J.F. Groote,International Conference on Typed Lambda Calculi and Applications. Lect. Notes Comput. Sci.664(1993) 107\u2013123."},{"key":"R18","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1006\/inco.1995.1033","volume":"117","author":"Castagna","year":"1995","journal-title":"Inform. Comput."},{"key":"R19","doi-asserted-by":"crossref","first-page":"805","DOI":"10.1145\/218570.218571","volume":"17","author":"Chambers","year":"1995","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"R20","unstructured":"C. Chambers and G.T. Leavens, BeCecil, A Core Object-Oriented Language with Block Structure and Multimethods: Semantics and Typing. InThe 4th Int.\u2000Workshop on Foundations of Object-Oriented Languages, FOOL 4(1996)."},{"key":"R21","unstructured":"C. Clifton, G.T. Leavens, C. Chambers and T. Millstein, MultiJava: modular open classes and symmetric multiple dispatch for Java, InOOPSLA '00: Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications. ACM Press New York, NY, USA (2000) 130\u2013145."},{"key":"R22","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1145\/6041.6042","volume":"17","author":"Cardelli","year":"1985","journal-title":"ACM Comput. Surv."},{"key":"R23","doi-asserted-by":"crossref","unstructured":"L.G. DeMichiel and R.P. Gabriel, The Common Lisp Object System: An Overview, InProc.\u2000ECOOP. Lect. Notes Comput. Sci.276(1987) 151\u2013170.","DOI":"10.1007\/3-540-47891-4_15"},{"key":"R24","unstructured":"C. Dutchyn, P. Lu, D. Szafron, S. Bromling and W. Holst, Multi-dispatch in the Java virtual machine: Design and implementation. InCOOTS(2001) 77\u201392."},{"key":"R25","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1145\/1119479.1119483","volume":"28","author":"Ducasse","year":"2006","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"R26","unstructured":"R. Forax, E. Duris and G. Roussel, Java multi-method framework, InInternational Conference on Technology of Object-Oriented Languages and Systems (TOOLS '00), Sydney, Australia, Los Alamitos, California (2000). IEEE Computer Society Press."},{"key":"R27","unstructured":"E. Gamma, R. Helm, R. Johnson and J.M. Vlissides,Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley (1995)."},{"key":"R28","unstructured":"D.H.H. Ingalls, A simple technique for handling multiple polymorphism, InOOPLSA '86: Conference proceedings on Object-oriented programming systems, languages and applications. ACM Press New York, NY, USA (1986) 347\u2013349."},{"key":"R29","doi-asserted-by":"crossref","first-page":"396","DOI":"10.1145\/503502.503505","volume":"23","author":"Igarashi","year":"2001","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"R30","unstructured":"S. Keene,Object-Oriented Programming in Common Lisp. Addison-Wesley (1989)."},{"key":"R31","unstructured":"S.B. Lippman,Inside the C++ Object Model. Addison-Wesley (1996)."},{"key":"R32","unstructured":"G.T. Leavens and T.D. Millstein, Multiple dispatch as dispatch on tuples, InOOPSLA '98: Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications. ACM Press New York, NY, USA (1998) 374\u2013387."},{"key":"R33","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1006\/inco.2002.3103","volume":"175","author":"Millstein","year":"2002","journal-title":"Inform. Comput."},{"key":"R34","unstructured":"B. Meyer,Eiffel: The Language. Prentice-Hall (1991)."},{"key":"R35","unstructured":"B. Meyer, Overloading vs. Object Technology.J. Object-Oriented Programming(2001) 3\u20137."},{"key":"R36","unstructured":"W.B. Mugridge, J. Hamer and J.G. Hosking, Multi-Methods in a Statically-Typed Programming Language, InProc.\u2000ECOOP\u00a0'91. Lect. Notes Comput. Sci.512(1991) 307\u2013324."},{"key":"R37","unstructured":"N. Sch\u00e4rli, S. Ducasse, O. Nierstrasz and A. Black, Traits: Composable Units of Behavior, InProceedings of European Conference on Object-Oriented Programming (ECOOP'03). Lect. Notes Comput. Sci.2743(2003) 248\u2013274."},{"key":"R38","unstructured":"A. Shalit,The Dylan Reference Manual: The Definitive Guide to the New Object-Oriented Dynamic Language. Addison-Wesley, Reading, Mass (1997)."},{"key":"R39","unstructured":"J. Smith, Cmm - C++ with Multimethods (2003). http:\/\/www.op59.net\/cmm\/readme.html."},{"key":"R40","unstructured":"B. Stroustrup,The C++ Programming Language. Addison-Wesley, 3rd edn. (1997)."},{"key":"R41","doi-asserted-by":"crossref","unstructured":"A. Wright and M. Felleisen, A syntactic approach to type soundness.Inform. Comput.115(1)(1994) 38\u201394.","DOI":"10.1006\/inco.1994.1093"}],"container-title":["RAIRO - Theoretical Informatics and Applications"],"original-title":[],"link":[{"URL":"http:\/\/www.rairo-ita.org\/10.1051\/ita\/2009008\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,16]],"date-time":"2020-05-16T16:06:36Z","timestamp":1589645196000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.rairo-ita.org\/10.1051\/ita\/2009008"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,3,12]]},"references-count":41,"journal-issue":{"issue":"3"},"alternative-id":["ita08037"],"URL":"https:\/\/doi.org\/10.1051\/ita\/2009008","relation":{},"ISSN":["0988-3754","1290-385X"],"issn-type":[{"value":"0988-3754","type":"print"},{"value":"1290-385X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,3,12]]}}}