Examples:
wp(x:=5, x =5)
wp(x:=5, x !=5)
wp(x:=x+1, x )
wp(x:= x*x, x4 =10)
wp(x:=a/b, p(x))
wp(x:=b[i], x=b[i]) for b, an array with indexes 0 ..100
Previous slide
Next slide
Back to first slide
View graphic version