CSE 526
Spring 2005 Stony Brook |
Principles of Programming Languages
Annie Liu Homework 5 |
Handout H5
Feb. 22, 2005 Due Mar. 1 |

This assignment has three problems (all on proofs of partial correctness assertions), each worth 25%, 25%, and 50% of the grade, respectively. The assignment is due before class on Tuesday Feb. 29.

**Problem 1. Multiplication.**

Winskel's book Exercise 6.13 on page 95.

**Problem 2. Power of two.**

Winskel's book Exercise 6.14 on page 95.

**Problem 3. General power.**

Winskel's book Exercise 6.15 on page 96.