Transformation of Applicative Specifications into Imperative ...

CHAPTER 8. SPECIFICATIONS
The FUNC Map
The map, FUNC, is defined as follows:
FUNC = Id →m FuncSpec,
FuncSpec ::
type_expr : TypeExpr
value_expr : ValueExpr
read_list : Access ∗
write_list : Access ∗
Access is defined in the RSL AST as follows:
Access ==
AccessValueOrVariableName(
variable_name : ValueOrVariableName),
ValueOrVariableName :: id : Id,
Id :: getText : Text
The FUNC map maps function identifiers to the declared type of the function,
the body value expression of the function declaration, a list of the
types of interest that are read from during the evaluation of the function
and a list of the types of interest that are written to during the evaluation
of the function. The two access lists contain all types of interest accessed
during execution of the function, even if these types of interest are accessed
through function applications. These lists are established using the functions
getAccessObs and getAccessGen, which recursively investigate the function
and any other functions which may be applied in the function itself. The
recursion stops when a function has already been evaluated.
The FUNC map is used both during the check for transformability and
during the transformation phase. It is used to decide whether application
expressions are function application expression or map or list application
expressions, it is used to determine the expected type of the arguments and
results of function applications and it is used to establish access descriptors
in the single typings of the functions.
The FUNC map is established in the beginning of the transformation in
the function TRClassExpr and does not change its value during the transformation.
The ENV Map
The map ENV is defined as follows:
ENV = Id →m Binding
76