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

Axiomatic Semantics and Proofs of Partial Correctness Assertions.

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.