HW1 — CSE 331 17su

Due: Friday, June 23 by 11pm.

Overview

In this assignment, you will practice reasoning about straight-line code, using both forward and backward reasoning. The last question on the assignment asks you to verify the correctness of some examples of straight-line code.

Problems

Solve the problems described 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 (and meets the size restriction), so you can also print the worksheet, write your answers on that, and scan it when done.

Submission

You will need to submit your solutions as a PDF. The file should be no more than 10 MB in size. (Email kevinz@cs if this is a problem for you.)

Make sure your name is on your solution.

Use the drop box to turn in the PDF file of your solutions.