Com S 641 Semantic Models for Programming Languages
			     Homework: 2

E. Cohen.  Programming in the 1990s. Springer-Verlag, 1990.  Chapters 0 and 1.

(Chapter 0)
a. By all means, try (a bit) to do exercise 0.0, page 2, before reading Cohen's
   solution following the exercise.  After doing that and reading Cohen's
   solution, what is your opinion of the value of the calculational approach?
b. Do you think the quote from Hoare on page 4 is overstated?

(Chapter 1)
c. Do exercise 1.1 on page 19.
d. Do exercise 1.2 on page 20.
e. Suppose you were to teach calculational proofs to some students.
   Besides showing students the format, what else would you need to convey
   to them?