@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)