Correction vs Rewriting - What's the difference?
correction | rewriting |
The act of correcting.
A substitution for an error or mistake.
Punishment that is intended to rehabilitate an offender.
An amount or quantity of something added or subtracted so as to correct.
A decline in a stock market price after a large rise.
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