0 present participle of duplicate
1 to make an exact copy of something:
The documents had been duplicated.
Parenthood is an experience nothing else can duplicate.
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.
