Article

Modular multiple dispatch with multiple inheritance

Authors:

Guy L. Steele, Jr.Authors Info & Claims

SAC '07: Proceedings of the 2007 ACM symposium on Applied computing

Pages 1117 - 1121

https://doi.org/10.1145/1244002.1244245

Published: 11 March 2007 Publication History

Get Access

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

[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.

Google Scholar

[2]

D. G. Bobrow, L. G. DiMichiel, R. P. Gabriel, S. E. Keene, G. Kiczales, and D. A. Moon. Common lisp object system specification. ACM SIGPLAN Notices, 23, Sept. 1988.

Digital Library

Google Scholar

[3]

G. Bracha, G. Steele, B. Joy, and J. Gosling. Java#8482; Language Specification, The 3rd Edition (Java Series). Addison-Wesley Professional, July 2005.

Digital Library

Google Scholar

[4]

G. Castagna. Covariance and contravariance: Conflict without a cause. ACM Transactions on Programming Languages and Systems, 17(3):431--447, 1995.

Digital Library

Google Scholar

[5]

C. Clifton, T. Millstein, G. T. Leavens, and C. Chambers. MultiJava: Design rationale, compiler implementation, and applications. ACM Transactions on Programming Languages and Systems, 28(3), May 2006.

Digital Library

Google Scholar

[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.

Digital Library

Google Scholar

[7]

T. Millstein. Reconciling Software Extensibility with Modular Program Reasoning. PhD thesis, University of Washington, 2003.

Digital Library

Google Scholar

[8]

T. Millstein, C. Bleckner, and C. Chambers. Modular typechecking for hierarchically extensible datatypes and functions. ACM Transactions on Programming Languages and Systems, 26(5):836--889, Sept. 2004.

Digital Library

Google Scholar

[9]

T. Millstein and C. Chambers. Modular statically typed multimethods. Information and Computation, 175(1):76--118, May 2002.

Crossref

Google Scholar

[10]

T. D. Millstein, M. Reay, and C. Chambers. Relaxed multijava: balancing extensibility and modular typechecking. In R. Crocker and G. L. S. Jr., editors, OOPSLA, pages 224--240. ACM, 2003.

Digital Library

Google Scholar

[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.

Crossref

Google Scholar

Cited By

View all

Kudasov NSim V(2022)Formalizing ϕ-Calculus: A Purely Object-Oriented Calculus of Decorated ObjectsProceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs10.1145/3611096.3611103(29-36)Online publication date: 7-Jun-2022
https://dl.acm.org/doi/10.1145/3611096.3611103
Herring SDainas A(2020)Gender and Age Influences on Interpretation of Emoji FunctionsACM Transactions on Social Computing10.1145/33756293:2(1-26)Online publication date: 26-Apr-2020
https://dl.acm.org/doi/10.1145/3375629
Park GHong JSteele Jr. GRyu S(2019)Polymorphic symmetric multiple dispatch with varianceProceedings of the ACM on Programming Languages10.1145/32903243:POPL(1-28)Online publication date: 2-Jan-2019
https://dl.acm.org/doi/10.1145/3290324
Show More Cited By

Index Terms

Modular multiple dispatch with multiple inheritance
1. Software and its engineering
  1. Software notations and tools
    1. General programming languages
      1. Language features

Recommendations

COQ mechanization of featherweight fortress with multiple dispatch and multiple inheritance
CPP'11: Proceedings of the First international conference on Certified Programs and Proofs

In object-oriented languages, overloaded methods with multiple dispatch extend the functionality of existing classes, and multiple inheritance allows a class to reuse code in multiple classes. However, both multiple dispatch and multiple inheritance ...
Type checking modular multiple dispatch with parametric polymorphism and multiple inheritance
OOPSLA '11

In previous work, we presented rules for defining overloaded functions that ensure type safety under symmetric multiple dispatch in an object-oriented language with multiple inheritance, and we showed how to check these rules without requiring the ...
Type checking modular multiple dispatch with parametric polymorphism and multiple inheritance
OOPSLA '11: Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications

In previous work, we presented rules for defining overloaded functions that ensure type safety under symmetric multiple dispatch in an object-oriented language with multiple inheritance, and we showed how to check these rules without requiring the ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

SAC '07: Proceedings of the 2007 ACM symposium on Applied computing

March 2007

1688 pages

ISBN:1595934804

DOI:10.1145/1244002

Conference Chairs:
Yookun Cho
Seoul National University, Seoul, Korea
,
Roger L. Wainwright
University of Tulsa, Tulsa, Oklahoma
,
Hisham M. Haddad
Kennesaw State University, Kennesaw, Georgia
,
Sung Y. Shin
South Dakota State University, Brookings, South Dakota
,
Program Chair:
Yong Wan Koo
The University of Suwon, Gyeongggi-do, Korea

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 11 March 2007

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

SAC07

Sponsor:

SIGAPP

SAC07: The 2007 ACM Symposium on Applied Computing

March 11 - 15, 2007

Seoul, Korea

Acceptance Rates

Overall Acceptance Rate 1,650 of 6,669 submissions, 25%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

29
Total Citations
View Citations
312
Total Downloads

Downloads (Last 12 months)9
Downloads (Last 6 weeks)1

Reflects downloads up to 24 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Kudasov NSim V(2022)Formalizing ϕ-Calculus: A Purely Object-Oriented Calculus of Decorated ObjectsProceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs10.1145/3611096.3611103(29-36)Online publication date: 7-Jun-2022
https://dl.acm.org/doi/10.1145/3611096.3611103
Herring SDainas A(2020)Gender and Age Influences on Interpretation of Emoji FunctionsACM Transactions on Social Computing10.1145/33756293:2(1-26)Online publication date: 26-Apr-2020
https://dl.acm.org/doi/10.1145/3375629
Park GHong JSteele Jr. GRyu S(2019)Polymorphic symmetric multiple dispatch with varianceProceedings of the ACM on Programming Languages10.1145/32903243:POPL(1-28)Online publication date: 2-Jan-2019
https://dl.acm.org/doi/10.1145/3290324
Alam MMuzahid A(2016)Production-run software failure diagnosis via Adaptive Communication TrackingACM SIGARCH Computer Architecture News10.1145/3007787.300117544:3(354-366)Online publication date: 18-Jun-2016
https://dl.acm.org/doi/10.1145/3007787.3001175
Park CHeo THuh J(2016)Efficient synonym filtering and scalable delayed translation for hybrid virtual cachingACM SIGARCH Computer Architecture News10.1145/3007787.300116044:3(217-229)Online publication date: 18-Jun-2016
https://dl.acm.org/doi/10.1145/3007787.3001160
Denning P(2015)Automated education and the professionalCommunications of the ACM10.1145/280424858:9(34-36)Online publication date: 24-Aug-2015
https://dl.acm.org/doi/10.1145/2804248
Malmi L(2015)Supervisor's perspectiveACM Inroads10.1145/27664586:2(27-28)Online publication date: 29-May-2015
https://dl.acm.org/doi/10.1145/2766458
Armoni M(2015)Impressions from the 9th WiPSCE conference, Berlin, November 2014ACM Inroads10.1145/27565596:2(29-30)Online publication date: 29-May-2015
https://dl.acm.org/doi/10.1145/2756559
Scoică A(2014)Profile: Geoffrey HintonUnlocking the language of the brainXRDS: Crossroads, The ACM Magazine for Students10.1145/266763521:1(60-61)Online publication date: 14-Oct-2014
https://dl.acm.org/doi/10.1145/2667635
Liu RShen DYang CYu SWang C(2014)NVM duetACM SIGARCH Computer Architecture News10.1145/2654822.254195742:1(455-470)Online publication date: 24-Feb-2014
https://dl.acm.org/doi/10.1145/2654822.2541957
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

COQ mechanization of featherweight fortress with multiple dispatch and multiple inheritance

Type checking modular multiple dispatch with parametric polymorphism and multiple inheritance

Type checking modular multiple dispatch with parametric polymorphism and multiple inheritance