The Theory of Classification, Part 5: Axioms, Assertions and Subtyping

Abstract

We consider the exact specification of a type's behaviour and also the relationship between algebraic specification and sub-typing, which will allow us to prove when one object behaves in a subtype-conformant way to another.

Cite as:

Anthony J.H. Simons, “The Theory of Classification, Part 5: Axioms, Assertions and Subtyping”, Journal of Object Technology, Volume 2, no. 1 (January 2003), pp. 13-21, doi:10.5381/jot.2003.2.1.c2.