Homework 6: Programming Languages

Due Tuesday, March 8, at 2:00 PM

Complete the following exercises from Imp.v:

optimize_0plus_b_sound, bevalR, ceval_example2, XtimesYinZ_spec, loop_never_stops, no_whiles_eqv, no_whiles_terminating

If you are taking the course for 4 credits, also do stack_compiler, execute_app, and stack_compiler_correct. They can get a bit complicated, so if you get stuck, please don’t hesitate to ask for help!