Overwriting vs Rewriting - What's the difference?
overwriting | rewriting |
The process or result of writing again; a rewrite.
(logic, computer science) a wide range of potentially non-deterministic methods of replacing subterms of a formula with other terms