Next: Basic translation
Up: Applying the simplify algorithm
Previous: on statements
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
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.