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

slide: Abstract data types