Map
Index
Random
Help
th

Quote: example of applying a predicate transform to a while program; also need termination

topics > all references > references p-r > QuoteRef: parnDL10_1976 , p. 14



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.


Related Topics up

Topic: predicate transforms (7 items)

Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.