** Next:** Basic translation
** Up:** Applying the simplify algorithm
** Previous:** on statements
** Contents**
** Index**

###

`at` and `overall` statements

We consider the statement

where and are expressions and is a statement.
Apply the *simplify* algorithm to the ordered list (in
this case treating as a multiply reference value) and let the
results be
and . If
is empty the transformed
version of our `at` statement is just

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

The `overall` statement follows
the same pattern, if the triplet in

is treated as a generalized kind of expression.

Bryan Carpenter
2003-04-15