Wp (If, R)
Wp (If, R) =
domain(BB) ? BB ? (B1? wp(S1, R)) ? … ? (Bn? wp(Sn, R))
where BB = B1 ? B2 ? ... ? Bn
?
wp(If, R) = (?i : 1 <= i <= n : Bi ) ? (?i : 1 <= i <= n : Bi ? wp(Si, R))
Example: A ? (if x >=0 ? z := x
[] x <= 0 ? z := -x )
wp(A, z = abs(x)) = True
Previous slide
Next slide
Back to first slide
View graphic version