Specification of Lists
Choice of primitive operations determines:
- Functionality
- Efficiency
- User Convenience
- Maintainability
Requirements
- A list is a specialization of Collection. Elements are
ordered.
- Primitive operations: constant time & space.
- Common operations must efficient: length & join.
- Window: generalize notion of current node.
- No operations causing one element to become a member of two
different lists.