Flashcards in u2 Deck (5)
a proposition concerning the inputs of an algorithm, such that if every precondition holds, then the algorithm will terminate with the correct output.
a proposition relating the outputs to the inputsof an algorithm, such that if every precondition holds, then when the algorithm terminates, each postcondition holds
Aspects of an ADT’s state not referred to in the postcondition for an operation are unaffected by the operation
a proposition concerning ADTs state that is always TRUE