Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

BCV09 (Article)
Author(s) Lorenzo Bettini, Sara Capecchi and Betti Venneri
Title« Dynamic Overloading with Copy Semantics in Object-Oriented Languages: a Formal Account »
JournalRAIRO - Theoretical Informatics and Applications
Year2009
NoteTo 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.

BibTeX code

@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},
}


 Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)

Valid HTML 4.01!