![university of washington logo](/images/purple_w.png)
CSE 331 16su Homework 1
Due: Friday, June 24 by 5pm.
Note: there will be no penalty for the first late day
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.
Computer Science & Engineering University of Washington Box 352350 Seattle, WA 98195-2350 (206) 543-1695 voice, (206) 543-2969 FAX
Comments to adminanchor