Introduction to Object Oriented Programming, 3rd Ed

Timothy A. Budd

Chapter 10

Subclasses and Subtypes


  1. Roadmap
  2. Subtype, Subclass and Substitution
  3. What is a Type?
    1. The Problem of Defining Types
  4. The Definition of Subtype
  5. Subclasses are not Necessarily Subtypes
  6. The Substitution Paradox
    1. The Undecidability of the Subtype Relationship
    2. Is This a Problem?
  7. Chapter Summary

Other Material

Intro OOP, Chapter 10, Outline