CS 6520 Homework 25
Exercise 25.1
Gordon
Exercise 10 (page 23).
Exercise 25.2
Gordon
Exercise 18 (page 34).
Exercise 25.3
Find the weakest precondition that ensures
y
=
x
after
if
x
>
0
then
x
:=
-x
else
x
:=
x
Last update: Thursday, April 20th, 2000
mflatt@cs.utah.edu