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