** Next:** for statements
** Up:** Applying the simplify algorithm
** Previous:** while statements
** Contents**
** Index**

###

`do` statements

We consider the statement

where is an expression and is a statement.
Again let
and be the results of applying
the *simplify* algorithm to . If ,
the transformed version is just

where is the pre-translated version of .
Otherwise the transformed version is

Bryan Carpenter
2003-04-15