Multiple dispatch in practice

Authors:
Radu Muschevici;Alex Potanin;Ewan Tempero;James Noble
Affiliations:
Victoria University of Wellington, Wellington, New Zealand;Victoria University of Wellington, Wellington, New Zealand;University of Auckland, Auckland, New Zealand;Victoria University of Wellington, Wellington, New Zealand
Venue:
Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
Year:
2008

Citing 30
Cited 11

CommonLoops: merging Lisp and object-oriented programming

OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
A simple technique for handling multiple polymorphism

OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Experience with CommonLoops

OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
On binary methods

Theory and Practice of Object Systems - Special issue: type systems
Dylan programming: an object-oriented and dynamic language

Dylan programming: an object-oriented and dynamic language
Parasitic methods: an implementation of multi-methods for Java

Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Multiple dispatch as dispatch on Tuples

Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Efficient multiple and predicated dispatching

Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
MultiJava: modular open classes and symmetric multiple dispatch for Java

OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Letters to the editor: go to statement considered harmful

Communications of the ACM
Multi-Methods in a Statically-Typed Programming Language

ECOOP '91 Proceedings of the European Conference on Object-Oriented Programming
Object-Oriented Multi-Methods in Cecil

ECOOP '92 Proceedings of the European Conference on Object-Oriented Programming
An Overview of AspectJ

ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
The Location Stack: A Layered Model for Location in Ubiquitous Computing

WMCSA '02 Proceedings of the Fourth IEEE Workshop on Mobile Computing Systems and Applications
Efficient Compression of Generic Function Dispatch Tables

Efficient Compression of Generic Function Dispatch Tables
Common Lisp Object System specification
Scale-free geometry in OO programs

Communications of the ACM - Adaptive complex enterprises
Micro patterns in Java code

OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
PolyD: a flexible dispatching framework

OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
MultiJava: Design rationale, compiler implementation, and applications

ACM Transactions on Programming Languages and Systems (TOPLAS)
Understanding the shape of Java software

Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Multi-dispatch in the Java virtual machine: design and implementation

COOTS'01 Proceedings of the 6th conference on USENIX Conference on Object-Oriented Technologies and Systems - Volume 6
An empirical study of cycles among classes in Java

Empirical Software Engineering
Inferring aliasing and encapsulation properties for java

Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
Automatic inference of stationary fields: a generalization of java's final fields

Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Prototypes with multiple dispatch: an expressive and dynamic object model

ECOOP'05 Proceedings of the 19th European conference on Object-Oriented Programming
Efficient multimethods in a single dispatch language

ECOOP'05 Proceedings of the 19th European conference on Object-Oriented Programming
Language-independent detection of object-oriented design patterns

Computer Languages, Systems and Structures
Exception handling: a field study in Java and .NET

ECOOP'07 Proceedings of the 21st European conference on Object-Oriented Programming
Non-null references by default in java: alleviating the nullity annotation burden

ECOOP'07 Proceedings of the 21st European conference on Object-Oriented Programming

Is Structural Subtyping Useful? An Empirical Study

ESOP '09 Proceedings of the 18th European Symposium on Programming Languages and Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Bytecodes meet combinators: invokedynamic on the JVM

Proceedings of the Third Workshop on Virtual Machines and Intermediate Languages
Design and evaluation of C++ open multi-methods

Science of Computer Programming
Extending Dylan's type system for better type inference and error detection

Proceedings of the 2010 international conference on Lisp
Optimizing the evaluation of patterns in pointcuts

Virtual Machines and Intermediate Languages
JavaGI: The Interaction of Type Classes with Interfaces and Inheritance

ACM Transactions on Programming Languages and Systems (TOPLAS)
How developers use the dynamic features of programming languages: the case of smalltalk

Proceedings of the 8th Working Conference on Mining Software Repositories
Barriers to modularity: an empirical study to assess the potential for modularisation of java programs

QoSA'10 Proceedings of the 6th international conference on Quality of Software Architectures: research into Practice - Reality and Gaps
COQ mechanization of featherweight fortress with multiple dispatch and multiple inheritance

CPP'11 Proceedings of the First international conference on Certified Programs and Proofs
Open pattern matching for C++

Proceedings of the 12th international conference on Generative programming: concepts & experiences
How (and why) developers use the dynamic features of programming languages: the case of smalltalk

Empirical Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

Multiple dispatch uses the run time types of more than one argument to a method call to determine which method body to run. While several languages over the last 20 years have provided multiple dispatch, most object-oriented languages still support only single dispatch forcing programmers to implement multiple dispatch manually when required. This paper presents an empirical study of the use of multiple dispatch in practice, considering six languages that support multiple dispatch, and also investigating the potential for multiple dispatch in Java programs. We hope that this study will help programmers understand the uses and abuses of multiple dispatch; virtual machine implementors optimise multiple dispatch; and language designers to evaluate the choice of providing multiple dispatch in new programming languages.