Transformation of Applicative Specifications into Imperative ...

APPENDIX D. SPECIFICATION OF TRANSFORMER IN RSL1
expTypeList(
arg, lengthVE(vl)),
func, trans))
getSequencingAccess(
ve, type_expr(res), et,
trans, func)),
unionId(
getAccessIdSet(
getAccessObs(
addId(id(vn), idset),
value_expr(
getMapValueFUNC(
func, id(vn))),
Known(type_expr(res)),
func, trans)),
getAccessIdSet(
getAccessObsListList(
idset, vl,
expTypeList(
arg, lengthVE(vl)),
func, trans))))
end
end
else
getAccessObsList(
idset, vl, et, func, trans)
end,
→
getAccessObsList(idset, vl, et, func, trans)
end,
BracketedExpr(bve) →
getAccessObs(idset, bve, et, func, trans),
ValueInfixExpr(first, op, second) →
getAccessObsList(
idset, 〈first, second〉, Unknown, func, trans
),
ValuePrefixExpr(op, operand) →
getAccessObs(
idset, operand, Unknown, func, trans),
LetExpr(ldl, lve) →
mk_AccessResult(
removeDuplets(
accessList(
getAccessObsLetDefList(
426