Craig Chambers, Gary T. Leavens  Home/Search
Context
Related
| iastate.edu/pub/techreports/...TR.ps.gz iastate.edu/pub/techreport...main.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: iastate.edu/~leavens/main (more) From: iastate.edu/~leavens/main (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present and analyze the semantics and static type system for BeCecil, a theoretical (core) language with multimethods. BeCecil is a simple and orthogonal version of object-oriented languages like Cecil, CLOS, and Dylan. BeCecil has a new, simple mechanism for information hiding, which allows subclassing and yet can preserve representation invariants. BeCecil is also block-structured; within a block, one can extend a generic function with new multimethods, which may come from other generic... (Update)
Similar documents based on text: More All
1.1: Alias-free Parameters in C for Better Reasoning and Optimization - Assaad, Leavens (Correct)
0.9: Efficient Multiple Dispatching Using Nested Transition-Arrays - Chen, Aberer (1995) (Correct)
0.8: Type-checking multi-methods in ML (A modular approach) - Bonniot (2002) (Correct)
BibTeX entry: (Update)
@techreport{ chambers97bececil,
author = "Craig Chambers and Gary T. Leavens",
title = "{BeCecil}, {A} Core Object-Oriented Language with Block Structure and Multimethods: Semantics and Typing",
number = "96-17a",
address = "226 Atanasoff Hall, Ames, Iowa 50011",
year = "1997",
url = "citeseer.ist.psu.edu/chambers97bececil.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
862 The Java Language Specification - Gosling, Joy et al. - 1996
484 Common Lisp: The Language (context) - Jr - 1990
342 Eiffel: The Language (context) - Meyer - 1992
306 Self: The Power of Simplicity (context) - Ungar, Smith - 1987
257 Smalltalk-80: The Language and its Implementation (context) - Goldberg, Robson - 1983
254 Revised 4 Report on the Algorithmic Language Scheme - Clinger, Rees - 1991
194 The Formal Semantics of Programming Languages (context) - Winskel - 1993
152 Semantics of Programming Languages (context) - Gunter - 1992
143 Subject-Oriented Programming (context) - Harrison, Ossher - 1993
124 Object-Oriented Multi-Methods in Cecil - Chambers - 1992
106 Essentials of Programming Languages (context) - Friedman, Wand et al. - 1992
94 Object-Oriented Programming with Flavors (context) - Moon - 1986
90 Vortex: An Optimizing Compiler for Object-Oriented Languages - Dean, DeFouw et al. - 1996
89 Systems Programming with Modula (context) - Nelson - 1991
88 A Calculus for Overloaded Functions with Subtyping - Castagna, Ghelli et al. - 1992
88 A calculus for overloaded functions with subtyping - Castagna, Ghelli et al. - 1995
88 Theory and Practice of Object Systems (context) - Bruce, Cardelli et al. - 1995
84 Predicate Classes - Chambers - 1993
82 Object-Oriented Programming in the Beta Programming Language (context) - Madsen, Moller-Pedersen et al. - 1993
74 Encapsulation and Inheritance in Object-Oriented Programming.. - Snyder - 1986
68 Covariance and contravariance: conflict without a cause - Castagna - 1995
63 Static Type Checking of MultiMethods - Agrawal, DeMichiel et al. - 1991
63 Three Steps to Views: Extending the Object-Oriented Paradigm (context) - Shilling, Sweeney - 1989
55 Modular Specification and Verification of Object-Oriented Pr.. (context) - Leavens - 1991
51 Using Category Theory to Design Implicit Conversions and Gen.. (context) - Reynolds - 1980
46 Object-Oriented Programming: The CLOS Perspective (context) - Paepcke - 1993
42 Typechecking and Modules for Multi-Methods - Chambers, Leavens - 1994
40 A Static Type System for Message Passing (context) - Ghelli - 1991
35 SubjectOriented Composition Rules (context) - Ossher, Kaplan et al. - 1995
31 Order-Sorted Algebra Solves the ConstructorSelector (context) - Goguen, Meseguer - 1987
26 ACM Transactions on Programming Languages and Systems (context) - Chambers, Leavens et al. - 1995
24 Programming Language: Second Edition (context) - Stroustrup - 1991
24 Protection in Programming Languages (context) - Morris - 1973
24 Volume 114 of Lecture Notes in Computer Science (context) - Liskov, Atkinson et al. - 1981
21 Theory and Practice of Object Systems (context) - Abadi, Cardelli et al. - 1995
20 System Design by Composing Structures of Interacting Objects (context) - Reenskaug, Anderson - 1992
20 Englewood Cliffs (context) - Harbison, Prentice - 1992
17 The Cecil Language: Specification and Rationale: Version - Chambers - 1995
15 and Kristen Nygaard (context) - Birtwistle, Dahl et al. - 1973
14 The Dylan Reference Manual: The Definitive Guide to the New .. (context) - Shalit - 1997
14 Safe Run-Time Overloading (context) - Rouaix - 1990
14 A survey of current research in objectoriented design (context) - Wirfs-Brock, Johnson - 1990
10 A Meta-Language for Typed Object-Oriented Languages - Castagna - 1995
10 The Dylan Programming Book (context) - Feinberg, Keene et al. - 1997
9 Object-Oriented Programming with Prototypes (context) - Blaschek - 1994
8 Reference Manual for the Ada Programming Language (context) - Standards - 1983
7 Second Order Polymorphism in a Calculus with Subtyping (context) - Castagna, Parametric et al. - 1996
3 Instance variables specialization in object-oriented program.. - Castagna - 1996
Documents on the same site (http://www.cs.iastate.edu/~leavens/main.html): More
Preliminary Design of JML: A Behavioral Interface.. - Leavens, Baker, Ruby (1999) (Correct)
Dynamic Semantics and Type-checking of Tuple - Jianbing Chen (Correct)
Multiple Dispatch as Dispatch on Tuples - Leavens, Millstein (1998) (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