zbMATH — the first resource for mathematics

On the algebraic specification of classes and inheritance in object-oriented programming. (English) Zbl 0884.68084
Miola, Alfonso (ed.) et al., Advances in the design of symbolic computation systems. Wien: Springer. Texts and Monographs in Symbolic Computation. 145-163 (1997).
Summary: This research focuses on the modeling of concepts from the object-oriented programming with enough generality to give formal support to those techniques which made object-oriented so successful, i.e., encapsulation, genericity, and inheritance. Such a model has a twofold nature since it can be used to analyze existing systems as well as for specifying complex software systems.
For the entire collection see [Zbl 0864.00041].

68Q65 Abstract data types; algebraic specification