Lambda the Ultimate

ABSTRACT

The Formalization of the OOP Paradigm: INHERITANCE OF ABSTRACT AUTOMATA
is devoted to discussion of the inheritance
relation on sets of Mealy automata. It continues study

Formalization of the OOP Paradigm

in which:

- the concept of abstract data type (or, what is the same, of a class)
is treated as an abstract automaton;

- relations of inheritance and polymorphism are introduced on sets of the Moore automata.

Proposed formalization of OOP notions significally differs from the
formalization of Luca Cardelli (see, for example, "A Semantics of Multiple Inheritance",
1988, Information and Computation 76, 138-164, 1988; http://lucacardelli.name/; ).