The Theory of Classification, Part 4: Object Types and Subtyping

By: Anthony J.H. Simons

Abstract

The “Theory of Classification” explains the behavior of languages such as Smalltalk, C++, Eiffel and Java in a consistent framework, modeling features such as classes, inheritance, polymorphism, message passing, method combination and templates or generic parameters. This installment focuses on sub-typing.

Cite as:

Anthony J.H. Simons, “The Theory of Classification, Part 4: Object Types and Subtyping”, Journal of Object Technology, Volume 1, no. 5 (November 2002), pp. 27-35, doi:10.5381/jot.2002.1.5.c2.

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

The JOT Journal   |   ISSN 1660-1769   |   DOI 10.5381/jot   |   AITO   |   Open Access   |    Contact