2.3 Semantics

MURZ semantics is very simple: static scoping, with stacked environments, and dynamic local environment (according to [3]).

It is interesting to describe our implementation of procedures, that are actually macros: procedure body is copied in the place of every call. This let us to carry on our analysis even crossing the procedure boundaries, and to optimize every procedure call, using the information about the actual parameters. More in detail, for every call:

• unique temporary names are created for procedure local variables (parameters and declared variables);

• a copy of procedure code is inserted, after a suitable renaming of all the variables;

• procedure variables are initialized; parameters are passed by value ([3]): local variables are assigned the value of the expression passed as actual parameter.