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 de. ne a static type system and a translation of the language into the meta-language lambda_object, 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 / L. Bettini; S. Capecchi; B. Venneri. - In: RAIRO. INFORMATIQUE THEORIQUE ET APPLICATIONS. - ISSN 0988-3754. - STAMPA. - 43:(2009), pp. 517-565. [10.1051/ita/2009008]
Dynamic overloading with copy semantics in object-oriented languages: a formal account
BETTINI, LORENZO;VENNERI, BATTISTINA
2009
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 de. ne a static type system and a translation of the language into the meta-language lambda_object, in order to account for semantic issues and prove type safety of our proposal.I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.