erasure

Examples of erasing

erasing

In English, many past and present participles of verbs can be used as adjectives. Some of these examples may show the adjective use.

Since t is closed, it cannot be a variable, an erasing construct or a copying construct.
This step is essentially like the process of erasing a type quantifier.
Adding and erasing marked points is another natural, more mysterious operation.
This example is simple, but in the general case channel erasing can occur anywhere in a term.
In this paper we will, besides the usual ^-conversion, consider two kinds of simplification: erasing and non-erasing simplification.
A correctness graph of a proof structure is a subgraph of that is obtained by erasing one premise for each -link.
Erasing rules are the same except that there is no -rule.
The inertia and erasing effects may interact in interesting ways.
Users may register with a number of pseudonyms, essentially erasing the effects of prior feedback.
As mentioned above, family-polymorphic methods are translated to monomorphic methods by discarding type parameterization and erasing types and the method body.
With the addition of the explicit constructs for erasing and copying substitutions, all variables occur exactly once in a term.
The following are useful properties of the erasing mapping.
A correctness graph of a context is a subgraph obtained by erasing one premise for each -link.
We model these by a term rewriting system e where a rule may be erasing.
In too many instances, statistics are bandied about, effectively erasing the suffering of real people.
These examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors.