A safe implementation of dynamic overloading in java-like languages

Authors:
Lorenzo Bettini;Sara Capecchi;Betti Venneri
Affiliations:
Dipartimento di Informatica, Università di Torino;Dipartimento di Informatica, Università di Torino;Dipartimento di Sistemi e Informatica, Università di Firenze
Venue:
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
Year:
2009

Citing 9
Cited 0

A simple technique for handling multiple polymorphism

OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Object-oriented programming: a unified foundation

Object-oriented programming: a unified foundation
Parasitic methods: an implementation of multi-methods for Java

Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Featherweight Java: a minimal core calculus for Java and GJ

ACM Transactions on Programming Languages and Systems (TOPLAS)
Relaxed MultiJava: balancing extensibility and modular typechecking

OOPSLA '03 Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications
Double dispatch in C++

Software—Practice & Experience - Research Articles
MultiJava: Design rationale, compiler implementation, and applications

ACM Transactions on Programming Languages and Systems (TOPLAS)
Open multi-methods for c++

GPCE '07 Proceedings of the 6th international conference on Generative programming and component engineering
Featherweight Java with dynamic and static overloading

Science of Computer Programming

Quantified Score

Hi-index	0.00

Visualization

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.