Recursive Types and Pattern-Matching in Java

Forax, Rémi; Roussel, Gilles

doi:10.1007/3-540-40048-6_12

Cited by 3 publications

(4 citation statements)

References 6 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In particular, multi-methods simply allow algorithms on recursive data structures [13], such as trees, to be specified outside the class defining the data structure. For instance, JMMF is intensively used in the project SmartTools [34] that aims at providing generic tools for compiler constructions and programming environments.…”

Section: Discussionmentioning

confidence: 99%

“…Natural domains of application for multi-methods are implementations that handle large data structures with complex subtyping relations such as parsers [12], [13] (i.e. JAXP, J2EE) and window toolkits (i.e.…”

Section: B Application Domainsmentioning

confidence: 99%

“…Among the advantages of multi-methods, we are more concerned with their ability to simplify the specification of algorithms outside the classes they are dealing with [11]- [13]. Moreover, we believe that this feature is particularly valuable in the context of componentbased applications, for their development, maintenance and reusability.…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

A reflective implementation of Java multi-methods

Forax

Duris

Roussel

2004

IIEEE Trans. Software Eng.

View full text Add to dashboard Cite

Abstract-In Java, method implementations are chosen at runtime by late-binding with respect to the runtime class of just the receiver argument. However, in order to simplify many programming designs, late-binding with respect to the dynamic type of all arguments is sometimes desirable. This behavior, usually provided by multi-methods, is known as multi-polymorphism. This paper presents a new multi-method implementation based on the standard Java reflection mechanism. Provided as a package, it does not require any language extension nor any virtual machine modification. The design issues of this reflective implementation are presented together with a new and simple multi-method dispatch algorithm that efficiently supports class loading at runtime. This implementation provides a practicable and fully portable multi-method solution.

show abstract

Section: Discussionmentioning

confidence: 99%

Section: B Application Domainsmentioning

confidence: 99%

See 1 more Smart Citation

A reflective implementation of Java multi-methods

Forax

Duris

Roussel

2004

IIEEE Trans. Software Eng.

View full text Add to dashboard Cite

show abstract

“…Because the datatype is not exposed outside the class, Pizza does not permit abstract pattern matching. Forax and Roussel have also proposed a Java extension for simple pattern matching based on reflection [FR99].…”

Section: Related Workmentioning

confidence: 99%

JMatch: Iterable Abstract Pattern Matching for Java

Liu

Myers

2002

Lecture Notes in Computer Science

View full text Add to dashboard Cite

The JMatch language extends Java with iterable abstract pattern matching, pattern matching that is compatible with the data abstraction features of Java and makes iteration abstractions convenient. JMatch has ML-style deep pattern matching, but patterns can be abstract; they are not tied to algebraic data constructors. A single JMatch method may be used in several modes; modes may share a single implementation as a boolean formula. Modal abstraction simplifies specification and implementation of abstract data types. This paper describes the JMatch language and its implementation.

show abstract

Java Multi-Method Framework

Forax

Duris

Roussel

Proceedings 37th International Conference on Technology of Object-Oriented Languages and Systems. TOOLS-Pacific 2000

View full text Add to dashboard Cite

Recursive Types and Pattern-Matching in Java

Cited by 3 publications

References 6 publications

A reflective implementation of Java multi-methods

A reflective implementation of Java multi-methods

JMatch: Iterable Abstract Pattern Matching for Java

Java Multi-Method Framework

Contact Info

Product

Resources

About