Rakesh Agrawal, Linda G. DeMichiel, Bruce G. Lindsay  Home/Search
Context Related
| ibm.com/u/ragrawal/papers...oopsla91.ps ibm.com/cs/people/ragrawa...oopsla91.ps 140.115.82.191/old/Agr080...oopsla91.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: ibm.com/u/ragrawal/pubs (more) From: ibm.com/cs/people/ragrawal...pubs (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Multi-methods allow method selection to be based on the types of any number of arguments. Languages that currently support multi-methods do not support static type checking. We show how multi-methods can be statically type checked and how information collected at the time of program compilation can be used to make the run-time dispatch of multi-methods more efficient. The results presented can provide the basis for introducing multi-methods in languages with static type checking and for... (Update)
Context of citations to this paper: More
...a single program. Other work sacrifices symmetric treatment of multimethod arguments to ensure the safety of modular typechecking [Agrawal et al. 91, Bruce et al. 95, Boyland Castagna 97] thereby giving up the natural multimethod dispatching semantics, which reports all...
Cited by: More
To Build Open and Evolutive Applications: an Approach.. - Courbis, Lahire, Parigot (2004) (Correct)
To Build Open and Evolutive Applications: an Approach.. - Courbis, Lahire, Parigot (2004) (Correct)
Subtyping and Inheritance in Object-Oriented Programming - Kurtev (2000) (Correct)
Active bibliography (related documents): More All
0.3: A High-Level Signal Processing Programming Language - Hicks, Jr. (1988) (Correct)
0.3: Ml With Extended Pattern Matching And Subtypes - Jategaonkar (1989) (Correct)
0.2: Efficient Multiple Dispatching Using Nested Transition-Arrays - Chen, Aberer (1995) (Correct)
Similar documents based on text: More All
0.6: Modular Statically Typed Multimethods - Millstein, Chambers (1999) (Correct)
0.6: Behavioral Subtyping and Behavioral Enrichment of Multimethods - Soundarajan, Fridella (2000) (Correct)
0.6: BeCecil, A Core Object-Oriented Language with Block.. - Chambers, Leavens (1996) (Correct)
Related documents from co-citation: More All
37: Object-Oriented MultiMethods in Cecil - Chambers - 1992
29: Multimethods in a statically-typed programming language (context) - Mugridge, Hosking et al. - 1991
22: CommonLoops: Merging Lisp and object-oriented programming (context) - Bobrow, Kahn et al. - 1986
BibTeX entry: (Update)
Rakesh Agrawal, Lindga G. DeMichiel, and Bruce G. Lindsay. Static type checking of multi-methods. ACM SIGPLAN Notices, 26(11):113--128, November 1991. OOPSLA '91 Conference Proceedings, Andreas Paepcke (editor), October 1991, Phoenix, Arizona. http://citeseer.ist.psu.edu/agrawal91static.html More
@inproceedings{ agrawal91static,
author = "Rakesh Agrawal and Linda~G. DeMichiel and Bruce~G. Lindsay",
title = "{Static Type Checking of Multi-Methods}",
booktitle = "Proceedings of the {OOPSLA}~'91 Conference on Object-oriented Programming Systems, Languages and Applications",
pages = "113--128",
year = "1991",
url = "citeseer.ist.psu.edu/agrawal91static.html" }
Citations (may not include all citations):461 Programming Language (context) - Stroustrup - 1987
405 Depth-first Search and Linear Graph Algorithms (context) - Tarjan - 1972
176 Ellis and Bjarne Stroustrup (context) - Margaret - 1990
111 Common Lisp Object System Specification (context) - Bobrow, DeMichiel et al. - 1988
70 CommonLoops: Merging Lisp and Object-Oriented Programming (context) - Bobrow, Kahn et al. - 1986
52 A Simple Technique for Handling Multiple Polymorphism (context) - Ingalls - 1986
44 The Common Lisp Object System: An Overview (context) - DeMichiel, Gabriel - 1987
42 Multi-Methods in a StaticallyTyped Programming Language (context) - Mugridge, Hamer et al. - 1991
37 Efficient Management of Transitive Relationships in Large Da.. (context) - Agrawal, Borgida et al. - 1989
30 Efficient Method Dispatch in PCL - Kiczales, Rodriguez - 1990
12 TICLOS: An Implementation of CLOS for the Explorer Family (context) - Dussud - 1989
9 Manipulation of Structured Values in Object-Oriented Databas.. (context) - L'ecluse, Richard - 1989
3 i and Peter Wegner. On Understanding Types, Data Abstraction.. (context) - Cardell - 1985
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.almaden.ibm.com/u/ragrawal/pubs.html): More
SLIQ: A Fast Scalable Classifier for Data Mining - Mehta, Agrawal, Rissanen (1996) (Correct)
Discovery-driven Exploration of OLAP Data Cubes - Sarawagi, Agrawal, Megiddo (1998) (Correct)
Type Derivation Using the Projection Operation - Agrawal, DeMichiel (1994) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC