A semantics of multiple inheritance.
Proc. of the international symposium on Semantics of data types
Basic concepts I (objects, classes and inheritance)
Object-oriented languages, systems and applications
Hi-index | 0.00 |
This work is about value-semantics of subclasses. Functions that are special reversible injections (1-to-1 functions) lead here to two subclass subconstructions in which functions control the values. We show by means of such functions that a subset or superset of the values of a class can become, in effect, its subclass. The constructions are exemplified in but not limited to C++. Taxonomic hierarchies based on is-a links [2] are usually presented as the purpose of subclasses [1]. A view of subclasses related to subtypes was presented in [3]. But one of our constructions is based neither on an is-a link nor on subtypes; it suggests there are alternative bases for hierarchies.