Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,393,122 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
41 relations
Apache Harmony
AppleLink
Cleanroom software engineering
Code refactoring
Expand
Broader (1)
Computer programming
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2008
2008
Finite-resolution digital receiver design for impulse radio ultra-wideband communication
Lei Ke
,
Huarui Yin
,
Weilin Gong
,
Zheng-Dao Wang
IEEE Transactions on Wireless Communications
2008
Corpus ID: 671429
Receiver design for impulse radio based ultrawideband (UWB) communication is a challenge. High sampling rate high resolution…
Expand
2006
2006
MAI-Free MC-CDMA Systems Based on Hadamard–Walsh Codes
S. Tsai
,
Yuan-Pei Lin
,
C.-C. Jay Kuo
IEEE Transactions on Signal Processing
2006
Corpus ID: 8675500
It is known that multicarrier code-division multiple-access (MC-CDMA) systems suffer from multiaccess interference (MAI) when the…
Expand
Review
2003
Review
2003
Oscillators - an approach for a better understanding
E. Lindberg
,
Ieee Lifemember
2003
Corpus ID: 14216469
— The aim of this tutorial is to provide an electronic engineer knowledge and insight for a better understanding of the…
Expand
2003
2003
On the Statistical Consistency of DOP Estimators
D. Prescher
,
R. Scha
,
K. Sima'an
,
Andreas Zollmann
The Clinician
2003
Corpus ID: 9044513
A statistical estimator attempts to guess an unknown probability distribution by analyzing a sample from this distribution. One…
Expand
Highly Cited
1999
Highly Cited
1999
Decidability for Left-Linaer Growing Term Rewriting Systems
Takashi Nagaya
,
Y. Toyama
International Conference on Rewriting Techniques…
1999
Corpus ID: 39958567
A. term rewriting system is called growing if each variable occurring both the left-hand side and the right-hand side of a…
Expand
1997
1997
Eta-Expansions in Dependent Type Theory - The Calculus of Constructions
Neil Ghani
International Conference on Typed Lambda Calculus…
1997
Corpus ID: 16565012
Although the use of expansionary η-rewrite has become increasingly common in recent years, one area where ν-contractions have…
Expand
1995
1995
The S-calculus: Its Typed and Its Extended Versions
Fairouz Kamareddine
,
A. R. Os
1995
Corpus ID: 7735756
We present in this paper the simply typed version of the s-calculus (cf. KR95]) and prove the strong normalisation of the well…
Expand
Review
1991
Review
1991
Disunification: A Survey.
H. Comon
1991
Corpus ID: 118923989
Solving an equation in an algebra of terms is known as uniication. Solving more complex formulas combining equations and…
Expand
1989
1989
Properties of Z specifications
J. Woodcock
SOEN
1989
Corpus ID: 46109545
In this paper we show how to calculate properties of specifications written in the Z notation. In particular, we show how the…
Expand
Highly Cited
1975
Highly Cited
1975
Freedom at Midnight
Larry R. Collins
,
D. Lapierre
1975
Corpus ID: 159575193
If Larry Collins and Dominique Lapierre could rewrite all our history books, we would love reading and learning about the past…
Expand