Transformation of Applicative Specifications into Imperative ...

Chapter 5
Transformability
Not every specification in RSLA can be transformed using the transformation
rules given in Chapter 6. The reason for this is discussed in this chapter.
First an example of a concrete problem is offered and then the conditions a
specification has to fulfill such that it can be transformed are defined.
5.1 Problems
Problems can arise when transforming concrete applicative specifications
within RSLA. One of the problems is illustrated in Example 5.1 in which
an applicative specification is transformed according to the transformation
rules which will be described in Chapter 6.
Example 5.1 – Problematic transformation
scheme A_SPEC =
class
type
T = Int
value
f : T → Int
f(x) ≡ g(x) + x,
✄
end
g : T → T
g(x) ≡ x + 1
25