Barbara Liskov, Jeannette M. Wing  Home/Search
Context Related
| cmu.edu/usr/anon/199...CMUCS93187.ps 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: cmu.edu/People/clamen/repo...1993 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The use of hierarchy is an important component of object-oriented design. Hierarchy allows the use of type families, in which higher level supertypes capture the behavior that all of their subtypes have in common. For this methodology to be effective, it is necessary to have a clear understanding of how subtypes and supertypes are related. This paper takes the position that the relationship should ensure that any property proved about supertype objects also holds for its subtype objects. It... (Update)
Similar documents based on text: More All
0.4: Family Values: A Semantic Notion of Subtyping - Barbara Liskov And (1992) (Correct)
0.3: Unknown - (Correct)
0.3: Behavioral Subtyping Using Invariants and Constraints - Liskov, Wing (1999) (Correct)
BibTeX entry: (Update)
B. Liskov and J. Wing. Family Values: A Behavioral Notion of Subtyping. ACM Transactions on Programming Languages and Systems, November 1994. http://citeseer.ist.psu.edu/liskov94family.html More
@techreport{ liskov93family,
author = "B. Liskov and J. Wing",
title = "{FAMILY} {VALUES}: {A} {BEHAVIORAL} {NOTION} {OF} {SUBTYPING}",
number = "MIT/LCS/TR-562b",
pages = "47",
year = "1993",
url = "citeseer.ist.psu.edu/liskov94family.html" }
Citations (may not include all citations):1274 Object-oriented Software Construction (context) - Meyer - 1988
1002 Programming Language (context) - Stroustrup - 1986
369 A semantics of multiple inheritance - Cardelli - 1988
265 Proof of correctness of data representations (context) - Hoare - 1972
94 Distribution and abstract types in emerald (context) - Black, Hutchinson et al. - 1987
89 A parallel object-oriented language with inheritance and sub.. (context) - America - 1990
89 Systems Programming with Modula (context) - Nelson - 1991
79 CLU Reference Manual (context) - Liskov - 1981
67 Programming from Specifications (context) - Morgan - 1990
64 The larch family of specification languages (context) - Guttag, Horning et al. - 1985
63 Reasoning about object-oriented programs that use subtypes (context) - Leavens, Weihl - 1990
55 Modular specification and verification of object-oriented pr.. (context) - Leavens - 1991
53 An object oriented extension to z (context) - Carrington, Duke et al. - 1989
53 Development and implementation of an object-oriented dbms (context) - Maier, Stein - 1990
53 SIMULA common base language (context) - Dahl, Myrhaug et al. - 1970
[Article contains additional citations not shown here]
Documents on the same site (http://www.cs.cmu.edu/People/clamen/reports/1993.html): More
Visual Representations as Feedback in a Programmable Visual Shell - Modugno, Myers (1993) (Correct)
Deferred Compilation: The Automation of Run-Time Code Generation - Leone, Lee (1993) (Correct)
Fail-safe PVM: A portable package for distributed programming with .. - Leon (1993) (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