| 
|
Quote: it is important to find the loop invariant for each loop
topics >
all references >
references g-h >
Topic:
program proof via assertions
Topic:
constructing proof and program together
Quotation Skeleton
In the early 1970's one often heard the … each loop! Others shouted back, including myself: the … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: program proof via assertions (61 items)
Topic: constructing proof and program together (22 items)