Craig Chambers, Gary T. Leavens  Home/Search
Context Related
| iastate.edu/pub/techreports/T...TR.ps.Z 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: iastate.edu (more) Homepages: C.Chambers |
Rate this article:      (best)Comment on this article |
Abstract: Two major obstacles preventing the wider acceptance of multi-methods are concerns over the lack of encapsulation and modularity and the lack of static typechecking in existing multi-method-based languages. This paper addresses both of these problems. We present a polynomial-time static typechecking algorithm that checks conformance, completeness, and consistency of a group of method implementations with respect to declared message signatures. This algorithm improves on previous algorithms by... (Update)
Context of citations to this paper: More
...the evaluation of e. By theorem 1 (Soundness) and theorem 3 (Generic functions) e reduces to a value v such that ( e) v) In [9], Chambers and Leavens present an ecient algorithm for testing coverage (and non ambiguity, to ensure determinism) They also consider a...
...just identifies a partial order with respect to the method specificity. Languages supporting partially ordered multi methods are Cecil [10, 11] and Key [21] The above two kinds of multi methods take different philosophies with respect to the method specificity, each of...
Cited by: More
Algorithm Specialization in Generic Programming -.. - Järvi, Gregor.. (2006) (Correct)
Subtyping and Inheritance in Object-Oriented Programming - Kurtev (2000) (Correct)
Compact Dispatch Tables for Dynamically Typed Programming Languages - Vitek (1996) (Correct)
Similar documents (at the sentence level):
50.8%: Typechecking and Modules for Multi-Methods - Chambers, Leavens (1994) (Correct)
Active bibliography (related documents): More All
0.4: The Cecil Language - Specification and Rationale - Version 3.0 - Chambers (1995) (Correct)
0.4: The Cecil Language, Specification and Rationale - Version 2.0 - Chambers (1996) (Correct)
0.3: The Cecil Language, Specification and Rationale - Chambers (1993) (Correct)
Similar documents based on text: More All
0.6: BeCecil, A Core Object-Oriented Language with Block.. - Chambers, Leavens (1997) (Correct)
0.5: Modular Statically Typed Multimethods - Millstein, Chambers (1999) (Correct)
0.5: Towards Safe Modular Extensible Objects - Chambers, Leavens (1994) (Correct)
Related documents from co-citation: More All
24: Object-Oriented MultiMethods in Cecil - Chambers - 1992
17: Static type checking of multi-methods - Agrawal, DeMichiel et al. - 1991
14: Eiffel -- The Language (context) - Meyer - 1992
BibTeX entry: (Update)
Craig Chambers and Gerry T. Leavens. Typechecking and Modules for Multi-Methods. In Proceedings of the Ninth Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'94), pages 1--15, October 1994. http://citeseer.ist.psu.edu/article/chambers94typechecking.html More
@article{ chambers95typechecking,
author = "Craig Chambers and Gary T. Leavens",
title = "Typechecking and Modules for Multimethods",
journal = "ACM Transactions on Programming Languages and Systems",
volume = "17",
number = "6",
month = "November",
publisher = "ACM Press",
pages = "805--843",
year = "1995",
url = "citeseer.ist.psu.edu/article/chambers94typechecking.html" }
Citations (may not include all citations):1274 Object-Oriented Software Construction (context) - Meyer - 1998
1074 The Definition of Standard ML (context) - Milner, Tofte et al. - 1990
461 Programming Language (context) - Stroustrup - 1991
427 the Criteria to be Used in Decomposing Systems into Modules (context) - Parnas - 1972
388 On Understanding Types (context) - Cardelli, Wegner - 1985
369 A Semantics of Multiple Inheritance - Cardelli - 1988
362 ML for the Working Programmer (context) - Paulson - 1991
342 Eiffel: The Language (context) - Meyer - 1992
257 Smalltalk-80: The Language and its Implementation (context) - Goldberg, Robson - 1983
175 Inheritance is not Subtyping (context) - Cook, Hill et al. - 1990
143 Subject-Oriented Programming (context) - Harrison, Ossher - 1993
127 Systems Programming with Modula (context) - Nelson - 1991
124 Object-Oriented Multi-Methods in Cecil - Chambers - 1992
107 The Mathematics of Inheritance Systems (context) - Touretzky - 1986
107 Object-Oriented Type Systems (context) - Palsberg, Schwartzbach - 1994
102 Abstraction Mechanisms in CLU (context) - Liskov, Snyder et al. - 1977
92 An Introduction to Trellis/Owl (context) - Schaffert, Cooper et al. - 1986
89 A Parallel Object-Oriented Language with Inheritance and Sub.. (context) - America, van der Linden - 1990
88 Inheritance and Subtyping in a Parallel Object-Oriented Lang.. (context) - America - 1987
88 A Calculus for Overloaded Functions with Subtyping - Castagna, Ghelli et al. - 1992
80 Programming in Ada (context) - Barnes - 1991
74 Encapsulation and Inheritance in Object-Oriented Programming.. - Snyder - 1986
71 Operations on Records - Cardelli, Mitchell - 1989
63 Reasoning about Object-Oriented Programs that use Subtypes (context) - Leavens, Weihl - 1990
63 Static Type Checking of MultiMethods - Agrawal, DeMichiel et al. - 1991
59 Programming with Abstract Data Types (context) - Liskov, Zilles - 1974
55 Modular Specification and Verification of Object-Oriented Pr.. (context) - Leavens - 1991
51 Interfaces for StronglyTyped Object-Oriented Programming (context) - Canning, Cook et al. - 1989
50 Department of Computer Science and Engineering (context) - Chambers, Language et al. - 1993
46 Object-Oriented Programming: The CLOS Perspective (context) - Paepcke - 1993
43 Optimizing Multi-Method Dispatch Using Compressed Dispatch T.. (context) - Amiel, Gruber et al. - 1994
42 Multi-Methods in a Statically-Typed Programming Language (context) - Mugridge, Hosking et al. - 1991
40 Information Distribution Aspects of Design Methodology (context) - Parnas - 1971
40 A Static Type System for Message Passing (context) - Ghelli - 1991
38 Safe and Decidable Type Checking in an Object-Oriented Langu.. - Bruce, Crabtree et al. - 1993
35 Common Lisp Object System Specification XJ (context) - DeMichiel, Kiczales et al. - 1988
34 Import is Not Inheritance - Why We Need Both: Modules and Cl.. - Szyperski - 1992
23 Integrating Independently-Developed Components in Object-Ori.. - Holzle - 1993
21 Strongtalk: Typechecking Smalltalk in a Production Environme.. - Bracha, Griswold - 1993
20 Lecture Notes in Computer Science (context) - Liskov, Atkinson et al. - 1981
16 Efficient Dynamic Look-Up Strategy for Multi-Methods - Chen, Turau - 1994
16 Statically Typed Multi-Methods via Partially Abstract Types (context) - Pierce, Turner - 1992
14 Safe Run-Time Overloading (context) - Rouaix - 1990
13 Teaching Calculation and Discrimination: A More Effective Cu.. (context) - Gries - 1991
10 An Overview of Modular Smalltalk (context) - Wirfs-Brock, Wilkerson - 1988
9 The Programming Language Oberon (context) - Mossenbock, Wirth - 1991
2 Typechecking and Modules for Multi-Methods Chambers & Leaven.. (context) - Wirth, Modula- et al. - 1988
1 Typechecking and Modules for Multi-Methods Chambers & Leaven.. (context) - Goguen, IEEE et al. - 1984
1 Typechecking and Modules for Multi-Methods Chambers & Leaven.. (context) - Jr, Lisp et al. - 1990
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://fermivista.math.jussieu.fr/ftp/ftp.cs.iastate.edu.html): More
Polymorphic Type-Checking in Scheme - Jenkins, Leavens (1996) (Correct)
Weighted Search in the Plane - Agarwala, Fernández-Baca (1994) (Correct)
Properties of Genetic Representations of Neural Architectures - Balakrishnan, Honavar (1995) (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