rewriting

(redirected from Term rewriting)
Also found in: Dictionary, Thesaurus, Wikipedia.
Related to Term rewriting: Rewrite system
See: revision
References in periodicals archive ?
The toolset wraps SystemVerilog around Term Rewriting Systems (TRS)-based synthesis, a groundbreaking technology developed at Massachusetts Institute of Technology (MIT) that enables control logic generation on a correct-by-compiler construction basis.
At the heart of Bluespec's product is the novel application of Term Rewriting Systems (TRS), a well understood computer science concept, to hardware synthesis - an advanced, patented technology developed at Massachusetts Institute of Technology by Arvind, who is the Johnson Professor of Computer Science and Engineering and also a co-founder and member of Bluespec's board of directors.