The precise definition of such a renaming algorithm is omitted as it is not needed in this paper.
At each call site of f, we build a generic instance by removing the quantifier and renaming the quantified variables with some fresh variables.
Functor signatures are identified modulo renaming of bound stamps.
Specifications are identified up to renaming of bound variables and reordering of components, which will be justified by our semantics.
Note that every mu-calculus sentence decomposes into a composition of finitely many blocks, which are unique up to renaming the atoms used for composition.
Anti-dependencies could be avoided by consistent variable renaming, but such a general code transformation is beyond the scope of this paper.
Renaming can often be combined with so-called argument filtering to improve the efficiency of the specialised program.
Their empirical results show the effects of choosing different methods for implementing the linear scan, including instruction ordering, liveness analysis, renaming, and spilling heuristics.
