Transformation of Applicative Specifications into Imperative ...

CHAPTER 12. POSSIBLE EXTENSIONS OF THE TRANSFORMER
12.1.4 Renaming Class Expressions
When transforming a renaming class expression the names of the defined
items in the list are transformed into their counterparts in the imperative
specification and then the class expression is transformed.
12.1.5 Infinite Map Type Expressions
Infinite map type expressions are of the form:
type_expr1 ∼ →m type_expr2
An infinite map type expression is transformed by transforming the constituent
type expressions.
12.1.6 Single Typings of Higher Order Functions
The idea behind transforming single typings of higher order functions is
similar to the idea behind transforming single typings of normal functions,
which is explained in Section 6.4.1. Examples of transformations of single
typings of higher order functions are given in Table 12.1.
Applicative single typing ✄ Imperative single typing
T → (U → V) ✄ Unit → read t (U → V)
(U → V) → T ✄ (U → V) → write t Unit
(T → U) → V ✄ (Unit → read t U) → V
(U → T) → V ✄ (U → write t Unit) → V
U → (T → V) ✄ U → (Unit → read t V)
U → (V → T) ✄ U → (V → write t Unit)
Table 12.1: Transformation of single typings of higher order functions. T is a
type of interest with associated variable t, U and V are not types of interest.
12.1.7 Disambiguation Expressions
A disambiguation expression has the following form:
value_expr : type_expr
A disambiguation expression can be transformed by transforming the
constituent value and type expressions.
124