Title of article
DYNAMIC OVERLOADING WITH COPY SEMANTICSIN OBJECT-ORIENTED LANGUAGES: A FORMAL ACCOUNT
Author/Authors
Lorenzo Bettini، نويسنده , , Sara Capecchi and Betti Venneri، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2009
Pages
49
From page
517
To page
565
Abstract
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
Keywords
object-oriented languages , dynamic overloading , copysemantics , multi-methods , type systems , typed lambda calculus
Journal title
RAIRO - Theoretical Informatics and Applications
Serial Year
2009
Journal title
RAIRO - Theoretical Informatics and Applications
Record number
666025
Link To Document