Prototypes with multiple dispatch: an expressive and dynamic object model

Authors:
Lee Salzman;Jonathan Aldrich
Affiliations:
Carnegie Mellon University, Pittsburgh, PA;Carnegie Mellon University, Pittsburgh, PA
Venue:
ECOOP'05 Proceedings of the 19th European conference on Object-Oriented Programming
Year:
2005

Citing 15
Cited 12

Self: The power of simplicity

OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
A calculus for overloaded functions with subtyping

LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming
A simple and unifying approach to subjective objects

Theory and Practice of Object Systems - Special issue on subjectivity in object-oriented systems
More dynamic object reclassification: Fickle∥

ACM Transactions on Programming Languages and Systems (TOPLAS)
A Theory of Objects

A Theory of Objects
The Definition of Standard ML

The Definition of Standard ML
Smalltalk-80: The Language

Smalltalk-80: The Language
A lambda calculus of objects and method specialization

Nordic Journal of Computing
Object-Oriented Multi-Methods in Cecil

ECOOP '92 Proceedings of the European Conference on Object-Oriented Programming
Predicate Classes

ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
Predicate Dispatching: A Unified Theory of Dispatch

ECCOP '98 Proceedings of the 12th European Conference on Object-Oriented Programming
An Imperative, First-Order Calculus with Object Extension

ECCOP '98 Proceedings of the 12th European Conference on Object-Oriented Programming
An Overview of AspectJ

ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
Common Lisp Object System specification
Practical predicate dispatch

OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications

Language constructs for context-oriented programming: an overview of ContextL

DLS '05 Proceedings of the 2005 symposium on Dynamic languages
Self

Proceedings of the third ACM SIGPLAN conference on History of programming languages
Reflective layer activation in ContextL

Proceedings of the 2007 ACM symposium on Applied computing
Highly dynamic behaviour adaptability through prototypes with subjective multimethods

Proceedings of the 2007 symposium on Dynamic languages
Multiple dispatch in practice

Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
Transactional contexts: harnessing the power of context-oriented reflection

International Workshop on Context-Oriented Programming
Safer context (de)activation: through the prompt-loyal strategy

Proceedings of the 3rd International Workshop on Context-Oriented Programming
Efficient layer activation for switching context-dependent behavior

JMLC'06 Proceedings of the 7th joint conference on Modular Programming Languages
Context-oriented programming: A software engineering perspective

Journal of Systems and Software
Software modeling language with frames and multi-abstractions: an overview

ICAISC'12 Proceedings of the 11th international conference on Artificial Intelligence and Soft Computing - Volume Part II
Piecewise modelling with state subtypes

MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
On flexible dynamic trait replacement for Java-like languages

Science of Computer Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

Two object-oriented programming language paradigms—dynamic, prototype-based languages and multi-method languages—provide orthogonal benefits to software engineers. These two paradigms appear to be in conflict, however, preventing engineers from realizing the benefits of both technologies in one system. This paper introduces a novel object model, prototypes with multiple dispatch (PMD), which seamlessly unifies these two approaches. We give formal semantics for PMD, and discuss implementation and experience with PMD in the dynamically typed programming language Slate.