Homework 5: Programming Languages
Due Wednesday, March 6, at 11:59 PM
Complete the following exercises from Imp.v (14 points autograded, 7 points manual):
optimize_0plus_b_sound
, bevalR
, ceval_example2
, XtimesYinZ_spec
, loop_never_stops
, no_whiles_eqv
, no_whiles_terminating
If you are a graduate student, also complete stack_compiler
, execute_app
, and stack_compiler_correct
(9 points autograded). They can get a bit complicated, so if you get stuck, please don’t hesitate to ask for help!