Due: Monday, April 6th by 11pm


In this assignment, you will practice reasoning about straight-line code, using both forward and backward reasoning, and verifying the correctness of some straight-line code.


Solve the problems given in this worksheet.

Feel free to rewrite the problems on a separate sheet. You do not have to turn in these exact pages with the blanks filled in (though you can do that as well). It is okay to submit a scanned copy of a hand-written document as long as it is legible, so you can also print the worksheet, write your answers on that, and scan it when done.


Submit your write up as a PDF in Gradescope.