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

Related topics

Related topics

50 relations
Abstract machineAbstract syntax treeAddressing modeBCPL
Expand

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2012
Highly Cited
2012
Polly - Performing Polyhedral Optimizations on a Low-Level Intermediate Representation
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
Formalizing the LLVM intermediate representation for verified program transformations
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
Learning to detect unseen object classes by between-class attribute transfer
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
Using Valgrind to Detect Undefined Value Errors with Bit-Precision
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
Efficiently Computed Lexical Chains as an Intermediate Representation for Automatic Text Summarization
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
CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs
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
Building Natural-Language Generation Systems
  • 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
Building program optimizers with rewriting strategies
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
High-energy ions produced in explosions of superheated atomic clusters
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
Cognitive dimensions of notations
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?
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