Algebraic specifications (in one slide)
The formal model used most frequently for abstract data types
Define an algebra (over a set of types or “sorts”) that gives the semantics of the operations
Classic example
- pop(push(S,x)) = S
- top(push(S,i)) = i
- …
Can define notions of consistency and completeness