These are word's examples related to duplicating. Click on any word to go to its word's detail page. Or, go to the definition of duplicating.
These generalisations, which are needed to cope with rules duplicating formulas, are not always easy to define.
The linearity criterion is used to help avoid loss of efficiency by not duplicating large non-linear arguments (to avoid redundant evaluation) during deforestation.
Therefore, all duplicating explanations will be omitted in the following discussion.
What may be more surprising is that the benefit does not arise from a standard refinement of program analysis, as, for instance, duplicating continuations.
The concept of a virtually shared global graph is avoided, to save the administration costs while paying the price of possibly duplicating work.
Here again, we encounter the birth of the reader from the ashes of the (alleged) author who would reduce the reader to a duplicating machine.
This global improvement is distinct from the common method of improving precision of program analysis by duplicating the analysis over the same program points.
In this way we avoid duplicating the entire target binds.
These code-pointer/frame-pointer pairs need to be handled very carefully in a lazy system, because they cannot be duplicated without the risk of duplicating work.
Again, continuations can be used to move static contexts across dynamic conditional expressions, duplicating them in the conditional branches.
This will also allow us to control (and avoid) the issues of duplicating and erasing free variables in the substitution process.
Duplicating a syllable to match the number of syllables in the target did occur, but was infrequent.
For example, in some cases it may be more efficient to communicate less frequently with less volume of data by duplicating some computations.
Note that in this case the evaluator process performs the optimal scheme, which is duplicating the evaluation.
Besides, by duplicating the capabilities across multiagents, the robot has the potential to increase the robustness and reliability of the automated solution through cooperation.
