Search

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

By: Anthony J.H. Simons

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.

PDF | HTML | DOI | BiBTeX | Tweet this | Post to CiteULike | Share on LinkedIn