Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 235,123,618 papers from all fields of science
Search
Sign In
Create Free Account
Three-address code
Known as:
TAC
, Three address code
In computer science, three-address code (often abbreviated to TAC or 3AC) is an intermediate code used by optimizing compilers to aid in the…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
16 relations
A-normal form
Assembly language
Basic block
Code generation (compiler)
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Practical Verification Condition Generation for a Bytecode Language
David J. Pearce
2015
Corpus ID: 5696598
Automatic program verifiers typically generate verification conditions from the program and discharge them with an automated…
Expand
2013
2013
Implementation of Three Address Code Based on CPCC AST
Liu Be
2013
Corpus ID: 64386097
2012
2012
Context-Free Grammars, Part 3
A. J. D. Reis
2012
Corpus ID: 86702260
This chapter contains sections titled: Introduction Grammars for Arithmetic Expressions Specifying Associativity and Precedence…
Expand
2011
2011
Notes on GIMPLE representation and code generation
N. Kavvadias
2011
Corpus ID: 10815960
GIMPLE is the machine-independent intermediate representation used in modern GCC releases (post version 4.0). While the GIMPLE…
Expand
2008
2008
X-JOAF : An eXtensible Java Optimization Framework
Ondřej Lhoták
2008
Corpus ID: 59480647
Compiler optimizations have been the target of research for many years. Java has received a lot of this attention due to its…
Expand
2007
2007
Using Rewriting Logic to Match Patterns of Instructions from a Compiler Intermediate Form to Coarse-Grained Processing Elements
C. Morra
,
João MP Cardoso
,
J. Becker
IEEE International Parallel and Distributed…
2007
Corpus ID: 6114674
This paper presents a new and retargetable method to identify patterns of instructions with direct support in coarse-grained…
Expand
2003
2003
An Executable Intermediate Representation for Retargetable Compilation and High-Level Code Optimization
R. Leupers
,
Oliver Wahlen
,
M. Hohenauer
,
Tim Kogel
,
P. Marwedel
2003
Corpus ID: 14229037
Due to fast time-to-market and IP reuse requirements, an increasing amount of the functionality of embedded HW/SW systems is…
Expand
1999
1999
Declarative Numerical Analysis: an Interval Constraint-based Approach
T. Hickey
1999
Corpus ID: 12948419
The long term goal of this research is the development of a new approach to scientiic computing in which declarative methods…
Expand
1991
1991
A Hybrid Implementation of a oriented Programming Language Simulation
R. Rozin
,
S. Treu
1991
Corpus ID: 712943
SUMMARY The implementation of a hierarchical, process-oriented programming language for simulation (HSL) is described. It…
Expand
1956
1956
An automatic floating-address machine
E. A. Newman
,
M. A. Wright
1956
Corpus ID: 60167930
The paper describes a new method of identifying numbers in the store of a computer by means of tags, the object being to simplify…
Expand