Rewrite (programming)

Known as: Rewrite, Rewrite from scratch 
A rewrite in computer programming is the act or result of re-implementing a large portion of existing functionality without re-use of its source code… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1953-2018
010020030019532017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2003
Highly Cited
2003
We demonstrate that an unlexicalized PCFG can parse much more accurately than previously shown, by making use of simple… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2002
Highly Cited
2002
The dynamics of many calculi can be most clearly defined by a reduction semantics. To work with a calculus, however, an… (More)
  • figure 1
Is this relevant?
Highly Cited
2001
Highly Cited
2001
Program transformation is used in many areas of software engineering. Examples include compilation, optimization, synthesis… (More)
  • figure 1
Is this relevant?
Highly Cited
1998
Highly Cited
1998
We describe a language for defining term rewriting strategies, and its application to the production of program optimizers. Valid… (More)
Is this relevant?
Highly Cited
1997
Highly Cited
1997
Video Rewrite uses existing footage to create automatically new video of a person mouthing words that she did not speak in the… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1997
Highly Cited
1997
Many formal models for in nite-state concurrent systems are equivalent to special classes of rewrite systems. We classify these… (More)
Is this relevant?
Highly Cited
1996
Highly Cited
1996
Many functions have to be written over and over again for different datatypes, either because datatypes change during the… (More)
Is this relevant?
Highly Cited
1994
Highly Cited
1994
Inserting instrumentation code in a program is an e ective technique for detecting, recording, and measuring many aspects of a… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1989
Highly Cited
1989
We study properties of rewrite systems that are not necessarily terminating, but allow instead for trans nite derivations that… (More)
  • figure 1
Is this relevant?
Highly Cited
1986
Highly Cited
1986
Algebraic specifications of abstract data types can often be viewed as systems of rewrite rules. Here we consider rewrite rules… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 5
  • figure 6
Is this relevant?