Transformation of Applicative Specifications into Imperative ...

CHAPTER 6. TRANSFORMATIONS
Value Infix Expressions
A value infix expression has the following form:
value_expr1 infix_op value_expr2
A value infix expression is transformed by transforming the constituent
value expressions. The infix operator stays the same.
Value Prefix Expressions
A value prefix expression has the following form:
prefix_op value_expr
A value prefix expression is transformed by transforming the constituent
value expression. The prefix operator stays the same.
Let Expressions
A let expression takes the following form:
let
letbinding1 = value_expr1,
.
letbindingn = value_exprn
in
value_exprn+1
end
A let expression is transformed by transforming the constituent value
expressions. Furthermore, the let bindings have to be transformed in order
to comply with the return values of the corresponding value expressions.
The reason for this is that in the imperative specification generators do not
return values of the type of interest. There are three cases to consider when
dealing with a let expression of the form:
let
letbinding = value_expr
in
...
end
46