Principles of Programming Languages
Feb. 8, 2005
Due Feb. 15
This assignment has three problems, each worth 25%, 25%, and 50% of the grade, respectively. There is a bonus problem at the end, worth an additional 20% of the grade (Note: it is not harder than other problems; it is only meant to give you extra points if you do it). The assignment is due before class on Tuesday Feb. 15.
Problem 1. Rules for evaluation of parallel-or.
Winskel's book Exercise 2.4 on page 18.
Problem 2. Well-founded ordering.
Winskel's book Exercise 3.8 on page 32.
Problem 3. Equivalence of big-step and small-step semantics.
Winskel's book Exercise 4.10 on page 51, excluding the "if" direction mentioned.
Bonus Problem. Proof by contradiction.
Winskel's book Exercise 3.9 on page 33, excluding the comparison mentioned.