CSE526: Principles of Programming Languages
			      Scott Stoller
	hw4: arrays, transition semantics, and guarded commands
			version: 11am,25feb2004
			   due: 4 mar 2004

1. Exercise 4.1

2. Exercise 6.2(a)

3. Exercise 7.2