A Note on the Standard Strategy for Developing Loop Invariants and Loops
The by-now-standard strategy for developing a loop invariant and loop was developed in  and explained . Nevertheless, its use still poses problems for some. The purpose of this note is to provide further explanation. Two problems are solved that, without this further explanation, seem difficult.
computer science; technical report
Previously Published As