0 present participle of erase --
1 to remove something, especially a pencil mark by rubbing it: --
2 to remove recordings or information from a magnetic tape or disk: --
3 to cause a feeling, memory, or period of time to be completely forgotten: --
Years of hard living had blurred but not erased her girlhood beauty.
The president said NATO expansion would finally erase the boundary line in Europe artificially created by the Cold War.
One election cannot erase 65 years of a corrupt one-party political process.
Woods wants a convincing victory to erase doubts about his team's ability to reach the World Cup finals.
He is determined to erase the memory of a disappointing debut two years ago.
In too many instances, statistics are bandied about, effectively erasing the suffering of real people.
We model these by a term rewriting system e where a rule may be erasing.
A correctness graph of a context is a subgraph obtained by erasing one premise for each -link.
The following are useful properties of the erasing mapping.
With the addition of the explicit constructs for erasing and copying substitutions, all variables occur exactly once in a term.
As mentioned above, family-polymorphic methods are translated to monomorphic methods by discarding type parameterization and erasing types and the method body.
Users may register with a number of pseudonyms, essentially erasing the effects of prior feedback.
The inertia and erasing effects may interact in interesting ways.
