Sciweavers

Share
FSEN
2009
Springer

A Safe Implementation of Dynamic Overloading in Java-Like Languages

12 years 8 months ago
A Safe Implementation of Dynamic Overloading in Java-Like Languages
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. Key words: Language extensions, Multi-methods, Dynamic Overloading
Lorenzo Bettini, Sara Capecchi, Betti Venneri
Added 26 May 2010
Updated 26 May 2010
Type Conference
Year 2009
Where FSEN
Authors Lorenzo Bettini, Sara Capecchi, Betti Venneri
Comments (0)
books