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!