Skip to search formSkip to main contentSkip to account menu

Live variable analysis

Known as: Variable liveness, Live variable, Liveness analysis 
In compiler theory, live variable analysis (or simply liveness analysis) is a classic data-flow analysis performed by compilers to calculate for each… 
Wikipedia (opens in a new tab)

Related topics

Related topics

8 relations
CompilerData-flow analysisDatalogDead code

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Pruning, Pushdown Exception-Flow Analysis
Statically reasoning in the presence of exceptions and about the effects of exceptions is challenging: exception-flows are… 
2013
2013
On Line Trace Synchronization for Large Scale Distributed Systems
RESUME Les systemes distribues en reseau fournissent une plate-forme informatique polyvalente pour soutenir diverses… 
2009
2009
Modeling resource-coupled computations
Increasingly massive datasets produced by simulations beg the question How will we connect this data to the computational and… 
Review
2008
Review
2008
Interactive feedbacks with visualisation and sonification for technology-enhanced learning for music performance
In this poster, we present a brief overview of the i-Maestro project and focus on the design and applications of interactive… 
Highly Cited
2005
Highly Cited
2005
LusSy: a toolbox for the analysis of systems-on-a-chip at the transactional level
We describe a toolbox for the analysis of systems-on-a-chip described in SystemC at the transactional level. The tools are able… 
2005
2005
Efficient Reduction Techniques for Systems with Many Components
2003
2003
Design of JFluid: a profiling technology and tool based on dynamic bytecode instrumentation
Instrumentation-based profiling has many advantages and one serious disadvantage: usually high performance overhead. This… 
2001
2001
Fast Machine-Adaptable Dynamic Binary Translation
Binary translation is the process of translating machine code from one instruction set architecture to another. It can be done… 
Review
1998
Review
1998
On Linear Algebraic Techniques for Liveness Analysis of P/T Systems
Liveness is a basic property that in many discrete event dynamic systems is considered essential for their correct behavior. It… 
1994
1994
Static Analysis of Barrier Synchronization in Explicitly Parallel Programs
Many coarse-grained, explicitly parallel programs execute in phases delimited by barriers to preserve sets of cross process data… 
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)