Skip to search formSkip to main contentSkip to account menu

Intermediate representation

Known as: Language-to-IL, IL, IR (computing) 
An Intermediate representation (IR) is the data structure or code used internally by a compiler or virtual machine to represent source code. An IR is… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2012
Highly Cited
2012
The polyhedral model for loop parallelization has proved to be an effective tool for advanced optimization and automatic… 
Highly Cited
2012
Highly Cited
2012
This paper presents Vellvm (verified LLVM), a framework for reasoning about programs expressed in LLVM's intermediate… 
Highly Cited
2009
Highly Cited
2009
We study the problem of object classification when training and test classes are disjoint, i.e. no training examples of the… 
Highly Cited
2002
Highly Cited
2002
This paper describes the C Intermediate Language: a high-level representation along with a set of tools that permit easy analysis… 
Highly Cited
2001
Highly Cited
2001
  • Ehud Reiter
  • Computational Linguistics
  • 2001
  • Corpus ID: 1236081
Figures Preface 1. Introduction 2. National Language Generation in practice 3. The architecture of a Natural Language Generation… 
Highly Cited
2000
Highly Cited
2000
  • G. Necula
  • ACM-SIGPLAN Symposium on Programming Language…
  • 2000
  • Corpus ID: 2448939
We describe a translation validation infrastructure for the GNU C compiler. During the compilation the infrastructure compares… 
Review
2000
Review
2000
Text mining, also known as text data mining or knowledge discovery from textual databases, refers to the process of extracting… 
Review
1999
Review
1999
Recent conceptualizations of trends in the structure of U.S. industry have focused on the relative importance of markets… 
Highly Cited
1997
Highly Cited
1997
Efficient conversion of electromagnetic energy to particle energy is of fundamental importance in many areas of physics. A… 
Highly Cited
1990
Highly Cited
1990
classificatory schemes need to be justified in concrete terms. The dimensions concept can be justified by pointing to areas where…