View Related Documents

Abstract

A model of subobjects and subobject selection gives us a concise expression of key semantic relationships in a variety of inheritance-based languages. Subobjects and their selection have been difficult to reason about explicitly because they are not explicit in the languages that support them. The goal of this paper is to present a relatively simple calculus to describe subobjects and subobject selection explicitly. Rather than present any deep theorems here, we develop a general calculus that can be used to explore the design of inheritance systems.
Research partially supported by NSF grant CCR-9302114.
Received support from NSF grants CCR-9304144 and CCR-9404646.

Fulltext Preview

Image of the first page of the fulltext document