Problem Set 4
Home Syllabus Lecture Slides Learning Haskell Problem Set 1 Problem Set 2 Problem Set 3 Problem Set 4 Problem Set 5 Problem Set 6 Problem Set 7 Problem Set 8 Problem Set 9

 

Due on Tuesday, October 16.

Imperative Program Specs and Proofs

  1. Do Exercise 3.1 in Reynolds.
     
  2. Do Exercise 3.4 in Reynolds.
     
  3. Do Exercise 3.2 in Reynolds.

I suggest doing the problems in the order stated.
 

Solution.