rewriting

(redirected from Rewrite system)
Also found in: Thesaurus.

re·write

 (rē-rīt′)
v. re·wrote (-rōt′), re·writ·ten (-rĭt′n), re·writ·ing, re·writes
v.tr.
1. To write again, especially in a different or improved form; revise.
2. To put (material submitted to a newspaper or magazine) in a form suitable for publishing.
3. Computers To save (a usually altered file) over its most recent version in the same storage location.
v.intr.
To make revisions in written material.
n. (rē′rīt′)
1. The act or an instance of rewriting.
2. Something rewritten.

re·writ′a·ble, re·write′a·ble adj.
re·writ′er n.
American Heritage® Dictionary of the English Language, Fifth Edition. Copyright © 2016 by Houghton Mifflin Harcourt Publishing Company. Published by Houghton Mifflin Harcourt Publishing Company. All rights reserved.
ThesaurusAntonymsRelated WordsSynonymsLegend:
Noun1.rewriting - editing that involves writing something again
editing, redaction - putting something (as a literary work or a legislative bill) into acceptable form
revisal, revise, revision, rescript - the act of rewriting something
recasting, rephrasing, rewording - changing a particular word or phrase
Based on WordNet 3.0, Farlex clipart collection. © 2003-2012 Princeton University, Farlex Inc.
Translations
References in periodicals archive ?
Rewrite_Set: ruleset [right arrow] term [right arrow] term * term list: this tactic applies ruleset to a term; ruleset is a confluent and terminating term rewrite system, in general.
of Liverpool, UK) proposes a new approach to the investigation of physics in which a zero totality is used to create a "universal rewrite system," which then allows the restructuring of mathematics without first assuming the number system or discreteness.
It is easy to see that the orthogonality status of a rewrite system (see below) is not changed by these rules.
Narrowing only at outermost positions is complete only if the rewrite system satisfies strong restrictions such as nonunifiability of subterms of the left-hand sides of rewrite rules [Echahed 1990].
Thus the optimization process is divided into a sequence of graph rewrite system applications, starting with the intermediate representation given by the front-end, and ending with an intermediate graph which is handed over to the back-end for code generation.
This section contains a short example, a graph rewrite system that attaches all expressions in the statement list of a procedure to the procedure object.
A rewrite system S is given by a 4-tuple (??,, E, L, R) of signature, equations, labels, and rewrite rules labeled by L.
We have defined transformation rules for left-linear rewrite systems, such that lazy rewriting with respect to the original rewrite system is simulated by eager evaluation with respect to the transformed rewrite system.
We argue that VCARW systems can be viewed as a generalization of a Conditional Set Rewrite System (CSRS) [Najork and Kaplan 1993], which in turn have been claimed to be generalizations of textual context-free grammars, Picture Layout Grammars [Golin 1991], and Constraint Multiset Grammars [Helm and Marriott 1991].
If such a simulation is proved to be sound, complete, and termination preserving, then it can be concluded that the transformation constitutes a correct compilation step, in the sense that no information on normal forms in the original rewrite system is lost; see Fokkink and van de Pol [1997].
The rewrite system obtained by interpreting the equations of [STACK.sup.+] = STACK + (1) as left-to-right rewrite rules is easily seen to be confluent and terminating.(9) The corresponding ground normal forms of sort S are
Applications in the book deal with domains where privileged directions appear, including rewrite systems, traffic networks and biological systems.