ADTs
The changeable part of the program is identified to be
- the representation of the data and
- the implementation of the operations
The interface is the stable part
- The “signature” is the syntactic definition of the interface
- Semantics are usually given informally