write some simple code to do a few simple actions, that change the state of the computation so that the i + 1st assertion holds.
- 1 Iterative Algorithms: Measures of Progress and Loop Invariants
- from How to Think About Algorithms
- Publisher: Cambridge University Press
- Released: May 2008
action is to maintain assertion from i to i+1
Share this highlighthttp://www.safaribooksonline.com/a/how-to-think/3326079/