W.R. LaLonde, "Designing Families of Data Types Using Exemplars," ACM Trans. on Prog. Lang. and Systems, 11, 2 (1989), 212-248. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
The Effects of Layering and Encapsulation on - Software Development Cost (1994) (Correct)
Inheritance From The Standpoint Of Specification And Modeling - Pruuden (Correct)
An Object-Oriented Refinement Calculus with Modular Reasoning - Utting (1992) (15 citations) (Correct)
Subtyping, Modular Specification, and Modular Verification.. - Leavens, Weihl (1994) (Correct)
Design of class hierarchies based on concept (Galois).. - Godin, Mili, Mineau.. (1998) (1 citation) (Correct)
Split Objects: a Disciplined Use of Delegation within Objects - Bardou, Dony (1996) (10 citations) (Correct)
Design and Specification of Iterators Using the Swapping.. - Weide, Edwards, Harms.. (1992) (2 citations) (Correct)
Representation Inheritance: A Safe Form of "White Box" Code.. - Stephen Edwards (1995) (3 citations) (Correct)
The Larch/Smalltalk Interface Specification Language - Cheon, Leavens (1994) (Correct)
Parents are Shared Parts of Objects: Inheritance and.. - Chambers, Ungar.. (1991) (18 citations) (Correct)
Specifying and Verifying Object-Oriented Programs: An Overview of .. - Tr Gary (Correct)
Organizing Programs Without Classes - Ungar, Chambers, Chang, Hölzle (1991) (25 citations) (Correct)
G Numerics - The Numerics (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