This is an assignment involving proofs of program properties. It does not involve programming.
The proofs may be submitted in handwritten form. Write legibly on one side of the paper in dark pencil or in blue or black ink. Clearly label each problem and write your name, the course, and assignment number on the paper. Staple the paper in the upper left corner.
Do any six of exercises 1, 2, 3, 5, 10, 12, and 14 from section 11.7 of the Notes.
UP to CSCI 555 assignments document?