-
The process or result of writing again; a rewrite.
(noun)
-
A wide range of potentially non-deterministic methods of replacing subterms of a formula with other terms
(noun)
-
Present participle of rewrite.
(verb)
Wiktionary.org : Text is available under the Creative Commons Attribution-ShareAlike License