Exercises:
Complete and Simplify:
1. wp (S, aɬ ? b ɬ) where
S = if a > b ? a:= a-b
[] b > a? b:= b-a
fi
2. wp( S, x <= y) where
S = if x > y ? x,y :=y,x
[] x<=y ? skip
fi
Previous slide
Next slide
Back to first slide
View graphic version