A Method, Based on Plans, for Understanding How a Loop Implements a Computation (opens in new tab)

A Method, Based on Plans, for Understanding How a Loop Implements a Computation Waters, Richard C. The plan method analyzes the structure of a program. The plan which results from applying the method represents this structure by specifying how the parts of the program interact. This paper demonstrates the utility of the plan method by showing how a plan for a loop can be used to help prove the correctness of a loop. The plan does this by providing a convenient description of what the loop doe...