Abstract data types
- abstraction and types
- algebraic specification
- modules versus classes
- types as constraints
Additional keywords and phrases:
control abstractions, data abstractions,
compiler support,
description systems,
behavioral specification,
implementation specification