Article

Free access

Static type checking of multi-methods

Authors:

Rakesh Agrawal,

Linda G. Demichiel,

Bruce G. LindsayAuthors Info & Claims

OOPSLA '91: Conference proceedings on Object-oriented programming systems, languages, and applications

Pages 113 - 128

https://doi.org/10.1145/117954.117963

Published: 01 November 1991 Publication History

PDF eReader

References

[1]

Rakesh Agrawal, Alexander Borgida, and H. V. Jagadish. Efficient Management of Transitive Relationships in Large Data and Knowledge Bases. In Proc. A CM-SIGMOD International Con}erence on Management of Data, 1989.

Digital Library

Google Scholar

[2]

Daniel G. Bobrow, Linda G. DeMichiel, Richard P. Gabriel, Sonya Keene, Gregor Kiczales, and David A. Moon. Common Lisp Object System Specification. SIGPLAN Notices, Vol. 23, special issue, Sept. 1988.

Digital Library

Google Scholar

[3]

Daniel G. Bobrow, Kenneth Kahn, Gregor Kiczales, Larry Masinter, Mark Stefik, and Frank Zdybel. CommonLoops: Merging Lisp and Object-Oriented Programming. In Proc. Conference on Object-Oriented Programming Systems, Languages, and Applications, 1986.

Digital Library

Google Scholar

[4]

Luca Cardelli and Peter Wegner. On Understanding Types, Data Abstraction, and Polymorphism. A CM Computing Surveys, 17(4), December 1985.

Digital Library

Google Scholar

[5]

Linda G. DeMichiel and Richard P. Gabriel. The Common Lisp Object System: An Overview. In Proc. European Conference on Object-Oriented Programming, 1987.

Digital Library

Google Scholar

[6]

Patrick H. Dussud, TICLOS: An Implementation of CLOS for the Explorer Family. In Proc. Conference on Object-Oriented Programming Systems, Languages, and Applications, 1989.

Digital Library

Google Scholar

[7]

Margaret A. Ellis and Bjarne Stroustrup. Annotated C++ Reference Manual. Addison- Wesley, 1990.

Digital Library

Google Scholar

[8]

Daniel H. H. ingalls. A Simple Technique for Handling Multiple Polymorphism. In Proc. Conference on Object-Oriented Programming Systems, Languages, and Applications, 1986.

Digital Library

Google Scholar

[9]

Gregor Kiczales and Luis Rodriguez. Efficient Method Dispatchin PCL. in Proc. Conference on Lisp and Functional Programming, 1990.

Digital Library

Google Scholar

[10]

C. Lecluse and P. Richard. Manipulation of Structured Values in Object-Oriented Databases. In Proc. Second International Workshop on Database Programming Languages, 1989.

Digital Library

Google Scholar

[11]

Warwick B. Mugridge, John Hamer, John G. Hosking. Multi-Methods in a Statically- Typed Programming Language. Report No. 50, Department of Computer Science, University of Auckland, 1991. (To appear in Proc. European Conference on Object-Oriented Programming, 1991.)

Digital Library

Google Scholar

[12]

Bjarne Stroustrup. The C++ Programming Language. Addison-Wesley Publishing Co., 1987.

Digital Library

Google Scholar

[13]

R. Tarjan. Depth-first Search and Linear Graph Algorithms. SIAM Journal on Computing, 1(2), 1972.

Google Scholar

Cited By

View all

Zhang WFeltner DShirley JKaber DNeubert M(2020)Enhancement and Application of a UAV Control Interface Evaluation TechniqueACM Transactions on Human-Robot Interaction10.1145/33689439:2(1-20)Online publication date: 30-Jan-2020
https://dl.acm.org/doi/10.1145/3368943
Bajones MFischinger DWeiss APuente PWolf DVincze MKörtner TWeninger MPapoutsakis KMichel DQammaz APanteleris PFoukarakis MAdami IIoannidi DLeonidis AAntona MArgyros AMayer PPanek PEftring HFrennert S(2019)Results of Field Trials with a Mobile Service Robot for Older Adults in 16 Private HouseholdsACM Transactions on Human-Robot Interaction10.1145/33685549:2(1-27)Online publication date: 16-Dec-2019
https://dl.acm.org/doi/10.1145/3368554
Förster FDautenhahn KNehaniv C(2019)Toward Scalable Measures of Quality of InteractionACM Transactions on Human-Robot Interaction10.1145/33442779:2(1-25)Online publication date: 16-Dec-2019
https://dl.acm.org/doi/10.1145/3344277
Show More Cited By

Index Terms

Static type checking of multi-methods
1. Software and its engineering
  1. Software notations and tools
    1. General programming languages
      1. Language features
        Data types and structures
      2. Language types
        Object oriented languages
2. Theory of computation
  1. Semantics and reasoning
    1. Program constructs
      1. Functional constructs
      2. Type structures

Recommendations

Static type checking without downcast operator
Abstract
In the last couple of years several dynamically-typed, object-oriented programming languages have been equipped with optional static type checkers. This typically requires these languages to be extended with a downcast operator, which ...
Highlights
- Simpler characterization of an approach similar to quasi-static typing.
- Novel ...
Type inference and strong static type checking for Promela

The Spin model checker and its specification language Promela have been used extensively in industry and academia to check the logical properties of distributed algorithms and protocols. Model checking with Spin involves reasoning about a system via an ...
Type checking higher-order polymorphic multi-methods
POPL '97: Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

We present a new predicative and decidable type system, called ML_≤, suitable for languages that integrate functional programming and parametric polymorphism in the tradition of ML [21, 28], and class-based object-oriented programming and higher-order ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

OOPSLA '91: Conference proceedings on Object-oriented programming systems, languages, and applications

November 1991

384 pages

ISBN:0201554178

DOI:10.1145/117954

Editor:
Andreas Paepcke

ACM SIGPLAN Notices Volume 26, Issue 11
Nov. 1991
362 pages
ISSN:0362-1340
EISSN:1558-1160
DOI:10.1145/118014
Editor:
Andreas Paepcke
Issue’s Table of Contents

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: 01 November 1991

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

OOPSLA 91

Sponsor:

SIGPLAN

OOPSLA 91: Object Orientated Programming Systems and Applications

October 6 - 11, 1991

Arizona, Phoenix, USA

Acceptance Rates

Overall Acceptance Rate 268 of 1,244 submissions, 22%

Upcoming Conference

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

105
Total Citations
View Citations
617
Total Downloads

Downloads (Last 12 months)106
Downloads (Last 6 weeks)31

Reflects downloads up to 24 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Zhang WFeltner DShirley JKaber DNeubert M(2020)Enhancement and Application of a UAV Control Interface Evaluation TechniqueACM Transactions on Human-Robot Interaction10.1145/33689439:2(1-20)Online publication date: 30-Jan-2020
https://dl.acm.org/doi/10.1145/3368943
Bajones MFischinger DWeiss APuente PWolf DVincze MKörtner TWeninger MPapoutsakis KMichel DQammaz APanteleris PFoukarakis MAdami IIoannidi DLeonidis AAntona MArgyros AMayer PPanek PEftring HFrennert S(2019)Results of Field Trials with a Mobile Service Robot for Older Adults in 16 Private HouseholdsACM Transactions on Human-Robot Interaction10.1145/33685549:2(1-27)Online publication date: 16-Dec-2019
https://dl.acm.org/doi/10.1145/3368554
Förster FDautenhahn KNehaniv C(2019)Toward Scalable Measures of Quality of InteractionACM Transactions on Human-Robot Interaction10.1145/33442779:2(1-25)Online publication date: 16-Dec-2019
https://dl.acm.org/doi/10.1145/3344277
Lukyanenko RParsons J(2015)Information Quality Research Challenge: Adapting Information Quality Principles to User-Generated ContentJournal of Data and Information Quality10.1145/27231666:1(1-3)Online publication date: 4-Mar-2015
https://dl.acm.org/doi/10.1145/2723166
O’Donoghue JHerbert J(2012)Data Management within mHealth EnvironmentsJournal of Data and Information Quality10.1145/2378016.23780214:1(1-20)Online publication date: 1-Oct-2012
https://dl.acm.org/doi/10.1145/2378016.2378021
McNaull JAugusto JMulvenna MMcCullagh P(2012)Data and Information Quality Issues in Ambient Assisted Living SystemsJournal of Data and Information Quality10.1145/2378016.23780204:1(1-15)Online publication date: 1-Oct-2012
https://dl.acm.org/doi/10.1145/2378016.2378020
Curé O(2012)Improving the Data Quality of Drug Databases using Conditional Dependencies and OntologiesJournal of Data and Information Quality10.1145/2378016.23780194:1(1-21)Online publication date: 1-Oct-2012
https://dl.acm.org/doi/10.1145/2378016.2378019
Harikrishnan SKumar R(2012)Space efficient non-constant time multi-method dispatch in object oriented systemsACM SIGSOFT Software Engineering Notes10.1145/2108144.210815337:2(1-6)Online publication date: 3-Apr-2012
https://dl.acm.org/doi/10.1145/2108144.2108153
Wimmer MKappel GKusel ARetschitzegger WSchönböck JSchwinger WKolovos DPaige RLauder MSchürr AWagelaar D(2011)A comparison of rule inheritance in model-to-model transformation languagesProceedings of the 4th international conference on Theory and practice of model transformations10.5555/2022007.2022010(31-46)Online publication date: 27-Jun-2011
https://dl.acm.org/doi/10.5555/2022007.2022010
Hunsinger DSmith MWinter S(2011)A framework of the use of certifications by hiring personnel in it hiring decisionsACM SIGMIS Database: the DATABASE for Advances in Information Systems10.1145/1952712.195271442:1(9-28)Online publication date: 4-Mar-2011
https://dl.acm.org/doi/10.1145/1952712.1952714
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

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

Static type checking without downcast operator

Type inference and strong static type checking for Promela

Type checking higher-order polymorphic multi-methods