Compiler

Known as: Recompile, Programming language compiler, Write compiler 
A compiler is a computer program (or a set of programs) that transforms source code written in a programming language (the source language) into… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1936-2017
010002000300019362016

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2009
Highly Cited
2009
This paper reports on the development and formal verification (proof of semantic preservation) of CompCert, a compiler from… (More)
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
2006
Highly Cited
2006
This paper reports on the development and formal certification (proof of semantic preservation) of a compiler from Cminor (a C… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
2003
Highly Cited
2003
To meet the demands of modern architectures, optimizing compilers must incorporate an ever larger number of increasingly complex… (More)
  • figure 1
  • figure 2
  • table 1
  • figure 5
  • figure 6
Is this relevant?
Highly Cited
2000
Highly Cited
2000
Systems software such as OS kernels, embedded systems, and libraries must obey many rules for both correctness and performance… (More)
Is this relevant?
Highly Cited
2000
Highly Cited
2000
This paper presents the initial results of a project to determine ifthe techniques of <italic> proof-carrying code</italic> and… (More)
Is this relevant?
Highly Cited
2000
Highly Cited
2000
In recent years there has been an increasing trend toward the incorpor ation of computers into a variety of devices where the… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1993
Highly Cited
1993
The Multiflow compiler uses the trace scheduling algorithm to find and exploit instruction-level parallelism beyond basic blocks… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1992
Highly Cited
1992
Software-controlled data prefetching is a promising technique for improving the performance of the memory subsystem to match… (More)
  • figure 1
  • table 1
  • figure 3
  • table 2
  • table 3
Is this relevant?
Highly Cited
1986
Highly Cited
1986
Compilers for vector or multiprocessor computers must have certain optimization features to successfully generate parallel code. 
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
1981
Highly Cited
1981
Dependence graphs can be used as a vehicle for formulating and implementing compiler optimizations. This paper defines such… (More)
  • figure 4
Is this relevant?