Homework 7
Due: Wednesday, 10/28
Complete the following exercises:
- In Smallstep.v:
- Exercise: 3 stars (redo_determinism)
- All three value_not_same_as_normal_form exercises (3 stars optional, 2 stars optional, 3 stars optional)
- Exercise: 2 stars (smallstep_bool_shortcut)
- Exercise: 3 stars, optional (normal_forms_unique)
- Exercise: 2 stars (multistep_congr_2)
- Exercise: 3 stars (eval__multistep)
- Exercise: 3 stars (step__eval)
- Exercise: 3 stars (multistep__eval)
- The two 3-star exercises in section "Concurrent Imp"
- No EC this week!
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 Wednesday, 10/28.