John’s Data Structures Homework Week 5
Chapter 4- Assertions
- Consider the Integer ADT with the set of operations { +, -, *, div, mod, = } . Write preconditions for those operations that need them, post conditions for all operations, and at least four axioms.