Objects as behavioral types

4

abstract data types -- representation function
correspondence -- abstraction, renaming, extension
behavioral subtypes -- correspondence

slide: Section 10.4: Objects as behavioral types