Transformation of Applicative Specifications into Imperative ...

6.4. TRANSFORMING EXPLICIT FUNCTION DEFINITIONS
Example 6.10 – Transformation of a list application
scheme A_SPEC =
class
type T = Int,
LIST = Int ∗
✄
end
value
f : T × LIST → Int
f(x, l) ≡ l(g1(x)),
g1 : T → T
g1(x) ≡ x + 1
scheme I_SPEC =
class
type
T = Int,
LIST = Int ∗
end
variable
t : T
value
f : LIST → read t write t Int
f(l) ≡ l((g1() ; t)),
g1 : Unit → read t write t Unit
g1() ≡ t := t + 1
Bracketed Expressions
A bracketed expression has the following form:
(value_expr)
A bracketed expression is transformed by transforming the constituent
value expression.
45