Accession Number : ADA259881


Title :   Family Values; A Semantic Notion of Subtyping,


Corporate Author : CARNEGIE-MELLON UNIV PITTSBURGH PA DEPT OF COMPUTER SCIENCE


Personal Author(s) : Liskov, Barbara ; Wing, Jeannette M


Full Text : https://apps.dtic.mil/dtic/tr/fulltext/u2/a259881.pdf


Report Date : 17 Dec 1992


Pagination or Media Count : 49


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 presents two ways of defining the subtype relation, each of which meets this criterion, and each of which is easy for programmers to use. The paper also discusses the ramifications of this notion on the design of types families and on the contents of type specifications and presents a notation for specifying types formally.


Descriptors :   *INFORMATION SYSTEMS , *HIERARCHIES , METHODOLOGY , SPECIFICATIONS , PROGRAMMERS


Subject Categories : Information Science


Distribution Statement : APPROVED FOR PUBLIC RELEASE