@inproceedings{BCV09b,
  author = {Bettini, Lorenzo and Capecchi, Sara and Venneri, Betti},
  series = {LNCS},
  note = {To appear},
  booktitle = {Proc. of 3rd International Conference on Fundamentals of Software
               Engineering (FSEN'09) },
  title = {{A safe implementation of dynamic overloading in Java-like
           languages}},
  abstract = {We present a general technique for extending Java-like languages
              with dynamic overloading, where method selection depends on the
              dynamic type of the parameter, instead of just the receiver. To
              this aim we use a core Java-language enriched with encapsulated
              multi-methods and dynamic overloading. Then we define an algorithm
              which translates programs to standard Java code using only basic
              mechanisms of static overloading and dynamic binding. The
              translated programs are semantically equivalent to the original
              versions and preserve type safety. },
  publisher = {Springer},
  year = {2009},
}

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