Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

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… Expand
  • figure 1
  • figure 4
  • figure 5
  • figure 6
  • figure 7
Is this relevant?
Highly Cited
2012
Highly Cited
2012
This paper presents Vellvm (verified LLVM), a framework for reasoning about programs expressed in LLVM's intermediate… Expand
  • figure 1
  • figure 3
  • figure 4
  • figure 8
  • figure 9
Is this relevant?
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… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 6
Is this relevant?
Highly Cited
2005
Highly Cited
2005
We present Memcheck, a tool that has been implemented with the dynamic binary instrumentation framework Valgrind. Memcheck… Expand
  • table 1
  • table 2
Is this relevant?
Highly Cited
2002
Highly Cited
2002
While automatic text summarization is an area that has received a great deal of attention in recent research, the problem of… Expand
Is this relevant?
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… Expand
  • figure 1
  • figure 3
  • figure 5
  • figure 7
Is this relevant?
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… Expand
Is this relevant?
Highly Cited
1998
Highly Cited
1998
We describe a language for defining term rewriting strategies, and its application to the production of program optimizers. Valid… Expand
  • table 1
  • table 2
  • table 3
  • table 4
  • table 6
Is this relevant?
Highly Cited
1997
Highly Cited
1997
Efficient conversion of electromagnetic energy to particle energy is of fundamental importance in many areas of physics. A… Expand
Is this relevant?
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… Expand
  • figure 1
  • figure 2
Is this relevant?