Homework 6
Due: Monday, 10/17
Complete the following exercises:
- In Hoare.v, Exercise: 3 stars (swap_exercise)
- In Hoare.v, Exercise: 2 stars (if_minus_plus)
- Read Hoare2.v up to and including
the section on Finding Loop Invariants. Complete
- Exercise: 2 stars (if_minus_plus_reloaded); and
- Exercise: 2 stars (slow_assignment).
- For extra credit, read HoareAsLogic.v
and complete the exercises
hoare_proof_sound and hoare_proof_complete.
In each file you submit, please
let me know which exercises you completed in that file, and with whom
you discussed the problems (if anyone).
Submit through
Blackboard before
the beginning of class on Monday, 10/17.