BCV09 (Article)
|
Author(s) | Lorenzo Bettini, Sara Capecchi and Betti Venneri |
Title | « Dynamic Overloading with Copy Semantics in Object-Oriented Languages: a Formal Account » |
Journal | RAIRO - Theoretical Informatics and Applications |
Year | 2009 |
Note | To appear |
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. |
@article{BCV09,
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.},
author = {Bettini, Lorenzo and Capecchi, Sara and Venneri, Betti},
title = {{Dynamic Overloading with Copy Semantics in Object-Oriented
Languages: a Formal Account}},
year = {2009},
note = {To appear},
journal = {RAIRO - Theoretical Informatics and Applications},
}
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)