Data Structure and Abstract Data Type
Abstract Data Types (ADT)
Each operation has
- A signature →\rightarrow→ describes the params + the type of the returned value
- A pre-condition (logic statement) → specifies what is assumed to be true before the operation may be applied
- A post-condition (logic statement) → describes the value / effect of the operation