Barbara Liskov, Russell Atkinson, Toby Bloom, Eliot Moss, J. Craig Scha#ert, Robert Scheifler, and Alan Snyder. CLU reference manual, volume 114 of Lecture Notes in Computer Science. Springer-Verlag, 1981. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Typechecking is Undecidable When 'type' is a Type - Reinhold (1989) (Correct)
An Overview of the Extended Static Checking System - Detlefs (1995) (55 citations) (Correct)
BeCecil, A Core Object-Oriented Language with Block.. - Chambers, Leavens (1996) (Correct)
Garbage Collection and Run-time Typing as a C++ Library - Detlefs (1992) (8 citations) (Correct)
Translucent Sums: A Foundation for Higher-Order Module Systems - Lillibridge (1997) (46 citations) (Correct)
Semantically-Sensitive Macroprocessing - Maddox (1989) (12 citations) (Correct)
The Fox Project: Advanced Development of Systems Software - Cooper, Harper, Lee (1991) (16 citations) (Correct)
Contextual Polymorphism - Ditchfield (1994) (4 citations) (Correct)
The Problematics of Testing Object-Oriented Software - Barbey, Strohmeier (1994) (10 citations) (Correct)
Translucent Sums: A Foundation for Higher-Order Module Systems - Lillibridge (1996) (46 citations) (Correct)
The Addition of Persistence to Ada95 and its Consequences - Oudshoorn, Crawley (Correct)
Cache Performance of Garbage-Collected Programs - Reinhold (1994) (21 citations) (Correct)
BeCecil, A Core Object-Oriented Language with Block.. - Chambers, Leavens (1997) (Correct)
Transactions for Amadeus - Taylor (1993) (1 citation) (Correct)
Advanced Languages for Systems Software The Fox Project in 1994 - Harper, Lee (1994) (4 citations) (Correct)
A Design for Type-Directed Programming in Java - Weirich, Huang (2004) (Correct)
Synchronous and Asynchronous Handling of Abnormal Events.. - Buhr, MacDonald, Zarnke (1992) (4 citations) (Correct)
... Users Guide - Buhr, Ditchfield, Till, Zarnke (2001) (Correct)
Functional Encapsulation and Type Reconstruction in a.. - Gupta (1995) (2 citations) (Correct)
Assignment as the Sole Means of Updating Objects - Buhr, Till, al. (1994) (2 citations) (Correct)
Typing in object-oriented languages: Achieving expressiveness and.. - Bruce (1996) (24 citations) (Correct)
µDatabase: A Toolkit for Constructing Memory Mapped Databases - Buhr, Goel, Wai (1992) (2 citations) (Correct)
Cforall Reference Manual and Rationale - Ditchfield (1997) (2 citations) Self-citation (Manual) (Correct)
Persistent Foundations for Scalable Multi-Paradigmal Systems - Atkinson (1992) (4 citations) Self-citation (Atkinson) (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