Map
Index
Random
Help
th

Quote: transform guarded regions into shorter equivalents; e.g., case structure to conditionals, or dropping a precondition that always holds

topics > all references > references a-b > QuoteRef: brinP9_1978 , p. 367



Topic:
transformation of programs

Quotation Skeleton

6) try to transform the guarded regions into … Case rule: … Pl:S P2:S … Pk:S can be replaced by Pl or P2 … Pk:S. Context rule: If a precondition Q always … P:S can be replaced by B:S [where B & Q = P].   Google-1   Google-2

Copyright clearance needed for quotation.


Related Topics up

Topic: transformation of programs (27 items)

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