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. |
Year | DOI | Venue |
---|---|---|
2009 | 10.1007/978-3-642-11623-0_29 | FSEN |
Keywords | Field | DocType |
static overloading,general technique,type safety,method selection,java-like language,core java-language,encapsulated multi-methods,dynamic overloading,safe implementation,basic mechanism,dynamic type,dynamic binding,multi methods,dynamic typing | Java code,Programming language,Computer science,Semantic equivalence,Java,Type safety,Operating system,Distributed computing | Conference |
Volume | ISSN | ISBN |
5961 | 0302-9743 | 3-642-11622-1 |
Citations | PageRank | References |
0 | 0.34 | 8 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Lorenzo Bettini | 1 | 871 | 51.50 |
Sara Capecchi | 2 | 144 | 12.52 |
Betti Venneri | 3 | 206 | 16.45 |