CS428/528 Assignment 3
Last modified: February 12, 2024.
Due: Thursday, February 19, 2024
Finish all exercises listed below(including optional ones), and read chapter Auto.
- IndProp:
- inversion_practice
- ev_sum
- empty_relation
- subsequence
- reflect_iff
- nostutter_defn
- palindromes
- Maps:
- t_update_eq
- t_update_neq
- eqb_stringP
- t_update_permute
- Imp:
- optimize_0plus_b_sound
- bevalR
- loop_never_stops
- no_whiles_eqv
- no_whiles_terminating
- stack_compiler
- stack_compiler_correct
- break_imp
- while_break_true