Craig Chambers  Home/Search
Context Related
| washington.edu/hom...cilspec2.0.ps.gz washington.edu/hom...cilspec2.1.ps.gz washington.edu/homes...cecilspec.ps.gz 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: washington.edu (more) From: washington.edu (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Cecil is a purely object-oriented language intended to support rapid construction of high-quality, extensible software. Cecil combines multi-methods with a simple classless object model, a kind of dynamic inheritance, modules, and optional static type checking. Instance variables in Cecil are accessed solely through messages, allowing instance variables to be replaced or overridden by methods and vice versa. Cecil's predicate objects mechanism allows an object to be classified automatically... (Update)
Context of citations to this paper: More
...hand side, then choosing the most applicable Mayan from this set. While multiple dispatch is present in many languages such as Cecil [9], CLOS [28] and Dylan [27] the exact formulation of Maya s rules is fairly unique. Mayan dispatching is based on the runtime types of...
.... G, is used for typechecking all previous languages with symmetric multimethods, including Kea [Mugridge et al. 91] Cecil [Chambers 92, Chambers 95] ML [Bourdoncle Merz 97] and Tuple [Leavens Millstein 98] 3 Example Programming Idioms There are several flexible...
Cited by: More
Linguistic Support for Large-Scale Distributed Programming - Eugster, Guerraoui, Damm (Correct)
Maya: Multiple-Dispatch Syntax - Extension In Java (2001) (Correct)
Half & Half: Multiple Dispatch and Retroactive.. - Baumgartner, Jansche, .. (2002) (Correct)
Similar documents (at the sentence level):
34.4%: The Cecil Language, Specification and Rationale - Chambers (1993) (Correct)
Active bibliography (related documents): More All
3.8: The Cecil Language - Specification and Rationale - Version 3.0 - Chambers (1995) (Correct)
1.6: Object-Oriented Multi-Methods in Cecil - Chambers (1992) (Correct)
0.7: Synergies Between Object-Oriented Programming Language Design.. - Chambers (1996) (Correct)
Similar documents based on text: More All
0.7: Constraint-Based Polymorphism in Cecil - Litvinov, Chambers (1998) (Correct)
0.7: Overview of the Cecil/Vortex Project - Chambers (1995) (Correct)
0.7: Constraint-Based Polymorphism in Cecil: Towards a Practical and.. - Litvinov (1998) (Correct)
Related documents from co-citation: More All
12: ACM Transactions on Programming Languages and Systems (context) - Chambers, Leavens et al. - 1995
11: Object-Oriented MultiMethods in Cecil - Chambers - 1992
11: Object-Oriented Programming: The CLOS Perspective (context) - Paepcke - 1993
BibTeX entry: (Update)
Craig Chambers. The Cecil Language: Specification and Rationale: Version 2.0. Department of Computer Science and Engineering, University of Washington, December, 1995. http://www.cs.washington.edu/ research/projects/cecil/www/Papers/cecil-spec.html http://citeseer.ist.psu.edu/chambers96cecil.html More
@unpublished{ chambers95cecil,
author = "Craig Chambers",
title = "The {Cecil} Language Specification and Rationale: Version 2.0",
year = "1995",
url = "citeseer.ist.psu.edu/chambers96cecil.html" }
Citations (may not include all citations):1274 Object-Oriented Software Construction (context) - Meyer - 1988
1074 The Definition of Standard ML (context) - Milner, Tofte et al. - 1990
461 Programming Language (context) - Stroustrup - 1986
342 Eiffel: The Language (context) - Meyer - 1992
257 Smalltalk-80: The Language and Its Implementation (context) - Goldberg, Robson - 1983
257 Report on the Programming Language Haskell (context) - Hudak, Wadler et al. - 1990
197 Revised 3 Report on the Algorithmic Language Scheme - Rees, Clinger - 1986
190 Optimization of Object-Oriented Programs Using Static Class .. - Dean, Grove et al. - 1995
176 Ellis and Bjarne Stroustrup (context) - Margaret - 1990
175 Inheritance is not Subtyping (context) - Cook, Hill et al. - 1990
148 Object Structure in the Emerald System (context) - Black, Hutchinson et al. - 1986
143 Subject-Oriented Programming (context) - Harrison, Ossher - 1993
137 The Art of the Meta-Object Protocol (context) - Kiczales, Rivieres et al. - 1991
128 On Understanding Types (context) - Cardelli, Wegner - 1985
124 Object-Oriented Multi-Methods in Cecil - Chambers - 1992
107 The Mathematics of Inheritance Systems (context) - Touretzky - 1986
102 Abstraction Mechanisms in CLU (context) - Liskov, Snyder et al. - 1977
95 Making Pure Object-Oriented Languages Practical - Chambers, Ungar - 1991
94 Object-Oriented Programming with Flavors (context) - Moon - 1986
92 An Introduction to Trellis/Owl (context) - Schaffert, Cooper et al. - 1986
91 Smalltalk-80: The Interactive Programming Environment (context) - Goldberg - 1984
89 Systems Programming with Modula (context) - Nelson - 1991
89 A Parallel Object-Oriented Language with Inheritance and Sub.. (context) - America, van der Linden - 1990
88 A Calculus for Overloaded Functions with Subtyping - Castagna, Ghelli et al. - 1992
84 Predicate Classes - Chambers - 1993
81 an Optimizing Compiler for Object-Oriented Programming Langu.. (context) - Chambers, Implementation et al. - 1992
81 A Proposal for Making Eiffel Type-Safe - Cook - 1989
80 Programming in Ada (context) - Barnes - 1991
79 CLU Reference Manual (context) - Liskov, Atkinson et al. - 1981
77 The Java Language Specification (context) - Microsystems - 1995
74 Encapsulation and Inheritance in Object-Oriented Programming.. - Snyder - 1986
72 Using Prototypical Objects to Implement Shared Behavior in O.. (context) - Lieberman - 1986
70 CommonLoops: Merging Lisp and Object-Oriented Programming (context) - Bobrow, Kahn et al. - 1986
69 Profile-Guided Receiver Class Prediction - Grove, Dean et al. - 1995
68 Covariance and Contravariance: Conflict without a Cause - Castagna - 1995
63 Reasoning about Object-Oriented Programs that use Subtypes (context) - Leavens, Weihl - 1990
63 Static Type Checking of Multi-Methods - Agrawal, DeMichiel et al. - 1991
62 Selective Specialization in ObjectOriented Languages - Dean, Chambers et al. - 1995
61 Where Clauses: Constraining Parametric Polymorphism (context) - Day, Gruber et al. - 1995
59 An Extension of Standard ML Modules with Subtyping and Inher.. - Mitchell, Meldal et al. - 1991
56 Bounded Quantification for Object-Oriented Programming (context) - Canning, Cook et al. - 1989
52 A Simple Technique for Handling Multiple Polymorphism (context) - Ingalls - 1986
50 Department of Computer Science and Engineering (context) - Chambers, Language et al. - 1993
46 Classes Versus Prototypes in Object-Oriented Languages (context) - Borning - 1986
44 Genericity versus Inheritance (context) - Meyer - 1986
42 Typechecking and Modules for MultiMethods - Chambers, Leavens - 1994
42 Multi-Methods in a Statically-Typed Programming Language (context) - Mugridge, Hosking et al. - 1991
40 An Exemplar Based Smalltalk (context) - LaLonde, Thomas et al. - 1986
40 A Static Type System for Message Passing (context) - Ghelli - 1991
37 Interfaces and Specifications for the Smalltalk-80 Collectio.. - Cook - 1992
37 Object-Oriented Programming Without Recursive Types - Pierce, Turner - 1993
37 Emerald: An Object-Based Language for Distributed Programmin.. (context) - Hutchinson - 1987
36 Optimizing Dynamically-Typed ObjectOriented Programming Lang.. - Holzle, Chambers et al. - 1991
35 Common Lisp Object System Specification XJ (context) - DeMichiel, Kiczales et al. - 1988
32 The BETA Programming Language (context) - Kristensen, Madsen et al. - 1987
30 Organizing Programs without Classes - Ungar, Chambers et al. - 1991
25 Digital Press (context) - Jr, LISP - 1984
24 Towards Better Inlining Decisions Using Inlining Trials - Dean, Chambers - 1994
23 Integrating Independently-Developed Components in Object-Ori.. - Holzle - 1993
22 CLOS: Integrating ObjectOriented and Functional Programming (context) - Gabriel, White et al. - 1991
21 Strongtalk: Typechecking Smalltalk in a Production Environme.. - Bracha, Griswold - 1993
20 Typechecking Polymorphism in Emerald - Black, Hutchinson - 1990
20 Englewood Cliffs (context) - Harbison, Prentice - 1992
19 Using Types and Inheritance in ObjectOriented Languages (context) - Halbert, O'Brien - 1986
19 Verifying Object-Oriented Programs that use Subtypes (context) - Leavens - 1989
16 Statically Typed Multi-Methods via Partially Abstract Types (context) - Pierce, Turner - 1992
15 Trellis Object-Based Environment (context) - Schaffert, Cooper et al. - 1985
14 Safe Run-Time Overloading (context) - Rouaix - 1990
14 The Emerald Programming Language Report (context) - Hutchinson, Raj et al. - 1987
13 Parents are Shared Parts: Inheritance and Encapsulation in S.. (context) - Chambers, Ungar et al. - 1991
11 Debugging Optimized Code with Dynamic Deoptimization (context) - Holzle, Chambers et al. - 1992
10 and David Ungar (context) - Holzle, Chang et al. - 1991
10 The Cedar Programming Environment: A Midterm Report and Exam.. (context) - Teitelman - 1984
10 A Type System for Computer Algebra - Santas - 1993
8 The Impact of Interprocedural Class Analysis on Optimization - Grove - 1995
8 System Design by Composing Structures of Interacting Objects - Andersen, Reenskaug - 1992
4 A Proposal for Multi-Methods in Self (context) - Freeman-Benson - 1989
4 Subdivided Procedures: A Language Extension Supporting Exten.. (context) - Harrison, Ossher - 1990
4 Experiencing Self Objects: An Object-Based Artificial Realit.. (context) - Chang, Ungar - 1990
4 Axiom: the Scientific Computing System (context) - Jenks, Sutor - 1992
3 Annotating Objects for Transport to Other Worlds (context) - Ungar - 1995
3 Unpublished manual (context) - Omohundro, Specification - 1993
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.washington.edu.html): More
Mobisaic - Voelker, Bershad (1995) (Correct)
Time-Space Tradeoffs for Undirected Graph Traversal - Beame, Borodin, Raghavan.. (1993) (Correct)
Automatic SAT-Compilation of Planning Problems - Ernst, Millstein, Weld (1997) (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