Примери за renaming

• It is thus timely to have a book that considers them in great detail - renaming them 'co-compounds ' in the process.

• We consider terms to be equal modulo renaming of bound variables.

• In the following we identify terms modulo renaming of the bound variables.

• However, one must restrict the use of these operations (in particular disjoint union and renaming) so that they only produce graphs with sources.

• We can assume that i= the set of node variables constituting each association sequence i is disjoint by renaming node variables.

• A conformant implementation need not support renaming files in all situations (for instance, renaming across different physical devices), but the constraints must be documented.

• Formalizing the notion of when two stores are 'equivalent' up to renaming of their locations can be done using the underlying graphs.

• Their empirical results show the effects of choosing different methods for implementing the linear scan, including instruction ordering, liveness analysis, renaming, and spilling heuristics.

• Renaming can often be combined with so-called argument filtering to improve the efficiency of the specialised program.

• Anti-dependencies could be avoided by consistent variable renaming, but such a general code transformation is beyond the scope of this paper.

• 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.

• Specifications are identified up to renaming of bound variables and reordering of components, which will be justified by our semantics.

• Functor signatures are identified modulo renaming of bound stamps.

• At each call site of f, we build a generic instance by removing the quantifier and renaming the quantified variables with some fresh variables.

• The precise definition of such a renaming algorithm is omitted as it is not needed in this paper.