** Next:** do statements
** Up:** Applying the simplify algorithm
** Previous:** if, switch, and synchronized
** Contents**
** Index**

###

`while` 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