[CST-2] Spec&Ver I 2000/7/1

[Jamie Shotton]

> Has anyone done this?
> It asks to discuss how FH-logic could be extended to support 
> expressions with side-effects, i.e. of the form (C; E) where 
> C is executed and then the value of E is returned.
> 
> It's for 6 marks - how does he want for something like this? 
> New rules for all commands?

Probably a few examples will do (?) e.g. for IF, ASSIGN, and WHILE...
And demonstration of the general principle.  I think.

J