|
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.