Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 218,254,431 papers from all fields of science
Search
Sign In
Create Free Account
Live variable analysis
Known as:
Variable liveness
, Live variable
, Liveness analysis
Expand
In compiler theory, live variable analysis (or simply liveness analysis) is a classic data-flow analysis performed by compilers to calculate for each…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
8 relations
Compiler
Data-flow analysis
Datalog
Dead code
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Variability-Aware Static Analysis at Scale
Alexander von Rhein
,
Jörg Liebig
,
A. Janker
,
Christian Kästner
,
S. Apel
ACM Transactions on Software Engineering and…
2018
Corpus ID: 52840340
The advent of variability management and generator technology enables users to derive individual system variants from a…
Expand
Highly Cited
2013
Highly Cited
2013
Scalable analysis of variable software
Jörg Liebig
,
Alexander von Rhein
,
Christian Kästner
,
S. Apel
,
Jens Dörre
,
C. Lengauer
ESEC/FSE
2013
Corpus ID: 14064285
The advent of variability management and generator technology enables users to derive individual variants from a variable code…
Expand
2013
2013
On Line Trace Synchronization for Large Scale Distributed Systems
Masoume Jabbarifar
2013
Corpus ID: 193271956
RESUME Les systemes distribues en reseau fournissent une plate-forme informatique polyvalente pour soutenir diverses…
Expand
Highly Cited
2005
Highly Cited
2005
PeerAccess: a logic for distributed authorization
M. Winslett
,
Charles C. Zhang
,
P. Bonatti
Conference on Computer and Communications…
2005
Corpus ID: 6698883
This paper introduces the PeerAccess framework for reasoning about authorization in open distributed systems, and shows how a…
Expand
2005
2005
Efficient Reduction Techniques for Systems with Many Components
E. A. Emerson
,
T. Wahl
Brazilian Symposium on Formal Methods
2005
Corpus ID: 14693978
Highly Cited
2004
Highly Cited
2004
Region analysis and transformation for Java programs
Sigmund Cherem
,
Radu Rugina
International Symposium on Mathematical…
2004
Corpus ID: 8415008
This paper presents a region analysis and transformation framework for Java programs. Given an input Java program, the compiler…
Expand
2003
2003
Design of JFluid: a profiling technology and tool based on dynamic bytecode instrumentation
M. Dmitriev
2003
Corpus ID: 18124271
Instrumentation-based profiling has many advantages and one serious disadvantage: usually high performance overhead. This…
Expand
Highly Cited
1999
Highly Cited
1999
A Practical System for Intermodule Code Optimization at Link-Time
Amitabh Srivastava
,
David W. Wall
1999
Corpus ID: 267893300
We have developed a system called OM to explore the problem of code optimization at link-time. OM takes a collection of object…
Expand
Highly Cited
1992
Highly Cited
1992
Sharlit—a tool for building optimizers
S. Tjiang
,
J. Hennessy
ACM-SIGPLAN Symposium on Programming Language…
1992
Corpus ID: 24797955
A complex and time-consuming function of a modern compiler is global optimization. Unlike other functions of a compiler such as…
Expand
1981
1981
Speed Optimizations for Fermilab MULTI
K. C. Green
IEEE Transactions on Nuclear Science
1981
Corpus ID: 37427567
Although the Fermilab MULTI event analysis program basic processing loop is capable of 400 Hz operation, analysis of real data…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE