Summary
Terms and concepts
- abstract value
- abstraction by specification
- abstraction function
- client
- comments
- commutative diagram
- concrete value
- conditional compilation
- data abstraction
- example clause
- implementer
- locality
- many to one
- modifiability
- partial
- partial function
- postcondition
- precondition
- raises clause
- rely
- rep ok
- representation invariant
- representation type
- requires clause
- returns clause
- satisfaction
- specification
- total function
Further reading
- Program Development in Java: Abstraction, Specification, and Object-Oriented Design, chapters 3, 5, and 9, by Barbara Liskov with John Guttag.