DYNAMIC OVERLOADING WITH COPY SEMANTICSIN OBJECT-ORIENTED LANGUAGES: A FORMAL ACCOUNT

Mainstream object-oriented languages often fail to providecomplete powerful features altogether, such as, multiple inheritance,dynamic overloading and copy semantics of inheritance. In this paperwe present a core object-oriented imperative language that integratesall these features in a formal framework. We define a static type systemand a translation of the language into the meta-language λ object ,in order to account for semantic issues and prove type safety of ourproposal