rewriting in French

(logic, computer science) Any of wide range of potentially non-deterministic methods of replacing subterms of a formula with other terms.

present participle of rewrite