| 
|
Quote: example of applying a predicate transform to a while program; also need termination
topics >
all references >
references p-r >
Topic:
predicate transforms
Quotation Skeleton
transformer [P->Q] of a program WHILE B DO … [S] … the form .not.B.and.P.or.B.and.Qb 2) the correctness of this … [S] (Q). In addition, one must make sure that the loop … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: predicate transforms (7 items)