Nov 1, 1990 · An algebraic model of subtype and inheritance · Authors: · Author Picture Kim B. Bruce. View Profile. , · Author Picture Peter Wegner. View Profile.

An algebraic notion of type and subtype is developed appropriate to modelling strict object-oriented inheritance and the notation of bounded quantification ...

Abstract: An algebraic notion of type and subtype is developed appropriate to modelling strict object-oriented inheritance. “Subtype”.

ABSTRACT. In Object Oriented Programming the powerful mechanism of inheritance allows the definition of classes starting from variables and methods of ...

Jul 2, 2005 · In Object Oriented Programming the powerful mechanism of inheritance allows the definition of classes starting from variables and methods of ...

Inheritance is not a way to express sum types, it's a form of subtyping. A distinction without a difference. This is probably most visible in languages like ...

To state that a type is a subtype of some other type, we simply append a subtype ... An algebraic model of subtype and inheritance. In F. Ban- cilhon and P ...

When a subtype inherits attributes, associations and constraints from a supertype, this means that these features need not be repeatedly rendered for the ...

We compare different kinds of first-order models of objects and message passing, as found in object-oriented programming languages.

Subtyping and inheritance are compatible when all inherited fields and methods of the derived type have types which are subtypes of the corresponding fields ...