AD-A 259 881 Family Values : A Semantic Notion of Subtyping

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 1llof their subtypes have in common. For this methodology to effective, it is necessary to * a clear understandiný 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.1lolds for its subtype objects. It presents two ways of-defining the sýbtype 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 type families and on, the cOntents, of type specifications and presents a notation for specifying types formally.