HW1

Due: Monday, April 5th by 11pm

Overview

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.

Problems

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.

Submission

Submit your write up as a PDF in Gradescope.