Abstract data types

8

  • 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: Chapter 8: Abstract data types