Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 205,776,171 papers from all fields of science
Search
Sign In
Create Free Account
Compiler
Known as:
Recompile
, Programming language compiler
, Compilation (computing)
Expand
A compiler is a computer program (or a set of programs) that transforms source code written in a programming language (the source language) into…
Expand
Wikipedia
Create Alert
Alert
Related topics
Related topics
50 relations
Adobe SWC file
Backward compatibility
Berkeley RISC
Borland Turbo C
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2015
Highly Cited
2015
Numba: a LLVM-based Python JIT compiler
S. Lam
,
Antoine Pitrou
,
S. Seibert
LLVM '15
2015
Corpus ID: 15284090
Dynamic, interpreted languages, like Python, are attractive for domain-experts and scientists experimenting with new ideas…
Expand
Highly Cited
2010
Highly Cited
2010
Theano: A CPU and GPU Math Compiler in Python
J. Bergstra
,
Olivier Breuleux
,
+6 authors
Yoshua Bengio
2010
Corpus ID: 3183121
Theano is a compiler for mathematical expressions in Python that combines the convenience of NumPy's syntax with the speed of…
Expand
Highly Cited
2009
Highly Cited
2009
Formal verification of a realistic compiler
X. Leroy
CACM
2009
Corpus ID: 15848246
This paper reports on the development and formal verification (proof of semantic preservation) of CompCert, a compiler from…
Expand
Highly Cited
2006
Highly Cited
2006
Formal certification of a compiler back-end or: programming a compiler with a proof assistant
X. Leroy
POPL '06
2006
Corpus ID: 13281
This paper reports on the development and formal certification (proof of semantic preservation) of a compiler from Cminor (a C…
Expand
Highly Cited
2000
Highly Cited
2000
PipeRench: A Reconfigurable Architecture and Compiler
S. Goldstein
,
H. Schmit
,
M. Budiu
,
S. Cadambi
,
M. Moe
,
R. Taylor
Computer
2000
Corpus ID: 5397196
With the proliferation of highly specialized embedded computer systems has come a diversification of workloads for computing…
Expand
Review
1997
Review
1997
Advanced Compiler Design and Implementation
S. S. Muchnick
1997
Corpus ID: 32801154
Advanced Compiler Design and Implementation by Steven Muchnick Preface 1 Introduction to Advanced Topics 1.1 Review of Compiler…
Expand
Highly Cited
1997
Highly Cited
1997
Modern Compiler Implementation in Java
A. Appel
1997
Corpus ID: 5307339
Last year you may have seen the Modern Compiler Implementation in C: Basic Techniques (1997) which was the preliminary edition of…
Expand
Highly Cited
1986
Highly Cited
1986
Advanced compiler optimizations for supercomputers
D. Padua
,
M. Wolfe
CACM
1986
Corpus ID: 16351316
Compilers for vector or multiprocessor computers must have certain optimization features to successfully generate parallel code.
Highly Cited
1978
Highly Cited
1978
Yacc: Yet Another Compiler-Compiler
S. C. Johnson
,
Murray Hill
1978
Corpus ID: 62540186
Computer program input generally has some structure; in fact, every computer program that does input can be thought of as…
Expand
Highly Cited
1977
Highly Cited
1977
Testing Programs with the Aid of a Compiler
R. Hamlet
IEEE Transactions on Software Engineering
1977
Corpus ID: 15276725
if finite input-output specifications are added to the syntax of programs, these specifications can be verified at compile time…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
,
Terms of Service
, and
Dataset License
ACCEPT & CONTINUE