Abstraction and types

1


  • abstraction -- control and data
  • abstract data types -- values in a semantic domain
  • types as constraints -- mathematical models
slide: Section 8.1: Abstraction and types