Exercises
Determine
wp (i:= i +1, i ɬ)
wp(i = i +2; j = j -2, i + j = 0)
wp(i = i +1;j = j -1, i *j = 0)
wp(z = z*j; i :=i -1, z * ji = c)
wp(a[i] = 1, a[i] = a[j])
wp(a[a[i]] = i, a[i]=i)
Previous slide
Next slide
Back to first slide
View graphic version