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)
Context of citations to this paper: More
...methods that cannot be accomplished using supertype methods. A discussion of the meaning of the subtype relation can be found in [3]. Renamings should be avoided whenever possible. They are needed, however, when a type has multiple supertypes, and these supertypes have...
...specification is not a very practical thing to do. For a thorough discussion of behavioral subtyping the reader is referred to [LW93b] LW93a] LW93c] and [Nie93] Implementations Reuse of program code in distributed object systems can be based on delegation,...
Cited by: More
Thor/Theta Users Guide - Release Barbara Liskov (Correct)
Reuse and Inheritance in Distributed Object Systems - Gründer, Geihs (1996) (Correct)
Theta Reference Manual - Preliminary Version (Correct)
Similar documents (at the sentence level): More
67.1%: A Behavioral Notion of Subtyping - Liskov, Wing (1994) (Correct)
38.9%: Behavioral Subtyping Using Invariants and Constraints - Liskov, Wing (1999) (Correct)
30.1%: Family Values: A Semantic Notion of Subtyping - Barbara Liskov And (1992) (Correct)
Active bibliography (related documents): More All
0.5: Blended Algebraic and Denotational Semantics for ADT.. - Leavens, Dhara (1994) (Correct)
0.4: Subtyping for Distributed Object Stores (Extended Abstract) - Wing (1997) (Correct)
0.3: Inheritance of Proofs - Hofmann, Naraschewski, Steffen.. (1996) (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
0.3: Specifying and Verifying Object-Oriented Programs: An Overview of .. - Tr Gary (Correct)
0.2: Currying multi methods in a merge calculus (Extended Abstract) - Tsuiki (1996) (Correct)
0.2: Typed Homomorphic Relations Extended with Subtypes - Leavens, Pigozzi (1991) (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
33 the Larch Prover (context) - Garland, Guttag et al. - 1989
24 Inheritance in object oriented z (context) - Cusack - 1991
23 Using types and inheritance in object-oriented programming (context) - Halbert, O'Brien - 1987
18 Trellis: Object-based environment language reference manual (context) - Schaffert, Cooper et al. - 1985
17 An Object-Oriented Refinement Calculus with Modular Reasonin.. - Utting - 1992
14 Towards a theory of abstract data types (context) - Kapur - 1980
13 An algebraic model of subtypes in object-oriented languages (context) - Bruce, Wegner - 1986
12 Ina jo specification language reference manual (context) - Scheid, Holtsberg - 1992
11 Preliminary design of the thor object-oriented database syst.. (context) - Liskov - 1992
10 object-oriented and relational programming with logical sema.. (context) - Goguen, Meseguer - 1987
8 Object-oriented specification in lotos and z (context) - Cusack, Lai - 1991
8 A history model for classes in object-z (context) - Duke, Duke - 1990
8 Family values: A semantic notion of subtyping - Liskov, Wing - 1992
5 Subtyping for mutable types in objectoriented programming la.. - Dhara, Leavens - 1992
5 A semantic database model (context) - Hammer, McLeod - 1981
5 Subtyping among mutable types in object-oriented programming.. (context) - Dhara - 1992
5 A foundation for the model theory of abstract data types wit.. (context) - Leavens, Dhara - 1992
4 Semantics and usage of defaults in specifications (context) - Lipeck - 1992
4 Verifying object-oriented prograsm that use subtypes (context) - Leavens - 1989
4 Abstraction and Specification in Program Design (context) - Liskov, Guttag - 1985
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