Dynamic overloading with copy semantics in object-oriented languages: a formal account
Dipartimento di Informatica, Università di Torino, Italy; firstname.lastname@example.org;email@example.com
2 Dipartimento di Sistemi e Informatica, Università di Firenze, Italy; firstname.lastname@example.org
Accepted: 5 January 2009
Mainstream object-oriented languages often fail to provide complete powerful features altogether, such as, multiple inheritance, dynamic overloading and copy semantics of inheritance. In this paper we present a core object-oriented imperative language that integrates all these features in a formal framework. We define a static type system and a translation of the language into the meta-language λ_object,, in order to account for semantic issues and prove type safety of our proposal.
Mathematics Subject Classification: 68N15 / 68N18 / 68Q55
Key words: Object-oriented languages / dynamic overloading / multi-methods / copy semantics / typed lambda calculus / type systems.
© EDP Sciences, 2009