Skip to search formSkip to main contentSkip to account menu

Compiler

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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2015
Highly Cited
2015
Dynamic, interpreted languages, like Python, are attractive for domain-experts and scientists experimenting with new ideas… 
Highly Cited
2010
Highly Cited
2010
Theano is a compiler for mathematical expressions in Python that combines the convenience of NumPy's syntax with the speed of… 
Highly Cited
2009
Highly Cited
2009
This paper reports on the development and formal verification (proof of semantic preservation) of CompCert, a compiler from… 
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… 
Highly Cited
2000
Highly Cited
2000
With the proliferation of highly specialized embedded computer systems has come a diversification of workloads for computing… 
Review
1997
Review
1997
Advanced Compiler Design and Implementation by Steven Muchnick Preface 1 Introduction to Advanced Topics 1.1 Review of Compiler… 
Highly Cited
1997
Highly Cited
1997
Last year you may have seen the Modern Compiler Implementation in C: Basic Techniques (1997) which was the preliminary edition of… 
Highly Cited
1986
Highly Cited
1986
Compilers for vector or multiprocessor computers must have certain optimization features to successfully generate parallel code. 
Highly Cited
1978
Highly Cited
1978
Computer program input generally has some structure; in fact, every computer program that does input can be thought of as… 
Highly Cited
1977
Highly Cited
1977
  • 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…