Homework 7
Due: Monday, 11/6
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 11:59pm on the due date.