Modular multiple dispatch with multiple inheritance

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Modular multiple dispatch with multiple inheritance

Full text

Pdf (180 KB)

Source

Symposium on Applied Computing archive
Proceedings of the 2007 ACM symposium on Applied computing table of contents

Seoul, Korea

SESSION: Object oriented programming languages and systems table of contents

Pages: 1117 - 1121

Year of Publication: 2007

ISBN:1-59593-480-4

Authors

Eric Allen	Sun Microsystems
J. J. Hallett	Sun Microsystems
Victor Luchangco	Sun Microsystems
Sukyoung Ryu	Sun Microsystems
Guy L. Steele, Jr.	Sun Microsystems

Sponsor

SIGAPP: ACM Special Interest Group on Applied Computing

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 12, Downloads (12 Months): 54, Citation Count: 2

Additional Information:

abstract references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/1244002.1244245 What is a DOI?

ABSTRACT

Overloaded functions and methods with multiple dispatch are useful for extending the functionality of existing classes in an object-oriented language. However, such functions introduce the possibility of ambiguous calls that cannot be resolved at run time, and modular static checking that such ambiguity does not exist has proved elusive in the presence of multiple implementation inheritance. We present a core language for defining overloaded functions and methods that supports multiple dispatch and multiple inheritance, together with a set of restrictions on these definitions that can be statically and modularly checked. We have proved that these restrictions guarantee that no undefined nor ambiguous calls occur at run time, while still permitting various kinds of overloading.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	E. Allen, D. Chase, J. Hallett, V. Luchangco, J.-W. Maessen, S. Ryu, G. L. Steele Jr., and S. Tobin-Hochstadt. The Fortress Language Specification Version 1.0 α, Sept. 2006.
	2	Daniel G. Bobrow , Linda G. DeMichiel , Richard P. Gabriel , Sonya E. Keene , Gregor Kiczales , David A. Moon, Common Lisp Object System specification, ACM SIGPLAN Notices, v.23 n.SI, p.1-142, September 1988 [doi>10.1145/885631.885632]
	3	James Gosling , Bill Joy , Guy Steele , Gilad Bracha, Java(TM) Language Specification, The (3rd Edition) (Java (Addison-Wesley)), Addison-Wesley Professional, 2005
	4	Giuseppe Castagna, Covariance and contravariance: conflict without a cause, ACM Transactions on Programming Languages and Systems (TOPLAS), v.17 n.3, p.431-447, May 1995 [doi>10.1145/203095.203096]
	5	Curtis Clifton , Todd Millstein , Gary T. Leavens , Craig Chambers, MultiJava: Design rationale, compiler implementation, and applications, ACM Transactions on Programming Languages and Systems (TOPLAS), v.28 n.3, p.517-575, May 2006 [doi>10.1145/1133651.1133655]
	6	K. Lee and C. Chambers. Parameterized modules for classes and extensible functions. In Proceedings of the 20th European Conference on Object-Oriented Programming. Springer-Verlag, 2006.
	7	Todd David Millstein , Craig Chambers, Reconciling software extensibility with modular program reasoning, University of Washington, 2003
	8	Todd Millstein , Colin Bleckner , Craig Chambers, Modular typechecking for hierarchically extensible datatypes and functions, ACM Transactions on Programming Languages and Systems (TOPLAS), v.26 n.5, p.836-889, September 2004 [doi>10.1145/1018203.1018207]
	9	T. Millstein and C. Chambers. Modular statically typed multimethods. Information and Computation, 175(1):76--118, May 2002.
	10	Todd Millstein , Mark Reay , Craig Chambers, Relaxed MultiJava: balancing extensibility and modular typechecking, Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications, October 26-30, 2003, Anaheim, California, USA
	11	N. Schärli, S. Ducasse, O. Nierstrasz, and A. Black. Traits: Composable units of behavior. In Proceedings of the 17th European Conference on Object-Oriented Programming. Springer, July 2003.

CITED BY 2

	J. J. Hallett , Victor Luchangco , Sukyoung Ryu , Guy L. Steele, Jr., Integrating coercion with subtyping and multiple dispatch, Proceedings of the 2008 ACM symposium on Applied computing, March 16-20, 2008, Fortaleza, Ceara, Brazil
	David Lievens , William Harrison, Symmetric encapsulated multi-methods to abstract over application structure, Proceedings of the 2009 ACM symposium on Applied Computing, March 08-12, 2009, Honolulu, Hawaii