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 lambdaobject, in order to account for semantic issues and prove type safety of our proposal.
Dynamic Overloading with Copy Semantics in Object-Oriented Languages: a Formal Account
BETTINI, LORENZO;CAPECCHI, SARA;
2009-01-01
Abstract
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 lambdaobject, in order to account for semantic issues and prove type safety of our proposal.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
