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!