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