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.
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
Topic: transformation of programs (27 items)