Java Multi-Method Framework

Forax, Rémi; Duris, Étienne; Roussel, Gilles

doi:10.1109/tools.2000.891357

Cited by 17 publications

(19 citation statements)

References 6 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In addition, because multimethods are not typechecked specially, incompletenesses and ambiguities are not statically detected. For example, Forax et al [2000] provided a MultiMethod class, and multimethods are declared by invoking MultiMethod.create. Grothoff [2003] provided an abstract Runabout class; user-defined subclasses of Runabout have a visit method that employs multiple dispatch.…”

Section: Other Multimethod-based Languagesmentioning

confidence: 99%

MultiJava

Clifton

Millstein

Leavens

et al. 2006

ACM Trans. Program. Lang. Syst.

View full text Add to dashboard Cite

MultiJava is a conservative extension of the Java programming language that adds symmetric multiple dispatch and open classes. Among other benefits, multiple dispatch provides a solution to the binary method problem. Open classes provide a solution to the extensibility problem of object-oriented programming languages, allowing the modular addition of both new types and new operations to an existing type hierarchy. This article illustrates and motivates the design of MultiJava and describes its modular static typechecking and modular compilation strategies. Although MultiJava extends Java, the key ideas of the language design are applicable to other object-oriented languages, such as C# and C++, and even, with some modifications, to functional languages such as ML.This article also discusses the variety of application domains in which MultiJava has been successfully used by others, including pervasive computing, graphical user interfaces, and compilers. C. Clifton et al.MultiJava allows users to express desired programming idioms in a way that is declarative and supports static typechecking, in contrast to the tedious and type-unsafe workarounds required in Java. MultiJava also provides opportunities for new kinds of extensibility that are not easily available in Java.

show abstract

Section: Other Multimethod-based Languagesmentioning

confidence: 99%

MultiJava

Clifton

Millstein

Leavens

et al. 2006

ACM Trans. Program. Lang. Syst.

View full text Add to dashboard Cite

show abstract

“…Other approaches add dynamic overloading to Java without type checking the proposed extension: JMMF [25] is a framework implemented using reflection mechanism, while in [14] a new construct is created using ELIDE (a framework implemented to add hight level features to Java). The major drawback of these proposals is that type errors, due to missing or ambiguous branches, are caught at run time by exceptions.…”

Section: Related Workmentioning

confidence: 99%

Featherweight Java with multi-methods

Bettini

Capecchi

Venneri

2007

Proceedings of the 5th International Symposium on Principles and Practice of Programming in Java - PPPJ '07

View full text Add to dashboard Cite

Multi-methods (collections of overloaded methods associated to the same message, whose selection takes place dynamically instead of statically as in standard overloading) are a useful mechanism since they unleash the power of dynamic binding in object-oriented languages, so enhancing re-usability and separation of responsibilities. However, many mainstream languages, such as, e.g., Java, do not provide it, resorting to only static overloading.In this paper we propose an extension, we call FMJ (Featherweight Multi Java), of Featherweight Java with encapsulated multimethods thus providing dynamic overloading. The extension is conservative and type safe: both "message-not-understood" and "message-ambiguous" are statically ruled out. Our core language can be used as the formal basis for an actual implementation of dynamic overloading in Java-like languages.

show abstract

“…Other approaches provide multiple dispatch in Java without extending the type system: JMMF [14] is a framework implemented using reflection mechanism, while in [6] a new construct is created using ELIDE (a framework implemented to add hight level features to Java). The major drawback of these proposals is that type errors, due to missing or ambiguous branches, are caught at run time by exceptions.…”

Section: Conclusion and Related Workmentioning

confidence: 99%

Translating Double Dispatch into Single Dispatch

Bettini

Capecchi

Venneri

2005

Electronic Notes in Theoretical Computer Science

View full text Add to dashboard Cite

Goals of flexibility and re-usability in typed object-oriented languages suggest the requirement of double dispatch, i.e., the mechanism of dynamically selecting a method not only according to the run-time type of the receiver (single dispatch), but also to the run-time type of the argument. However, many mainstream languages, such as, e.g., C++ and Java, do not provide it, resorting to only single dispatch. In this paper we present a general technique for adding double dispatch as a type-safe language feature, so yielding dynamic overloading and covariant specialization of methods, without extending basic semantics. To this aim we introduce a toy core language, extended to a full form of (non encapsulated) multi methods. Then we define a translation algorithm from multi methods to the core language, that implements double dispatch by using only standard mechanisms of static overloading and single dispatch. As a main feature, our translation preserves type safety, it uses neither RTTI nor type downcasts and does not introduce crucial overhead during method selection.

show abstract

Java Multi-Method Framework

Cited by 17 publications

References 6 publications

MultiJava

MultiJava

Featherweight Java with multi-methods

Translating Double Dispatch into Single Dispatch

Contact Info

Product

Resources

About