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… 
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… 
2005
2005
Efficient Reduction Techniques for Systems with Many Components
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… 
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… 
2003
2003
PSG hybrid approach to automatic corpus annotation
This paper describes and evaluates a hybrid non-probabilistic parsing method for the grammatical annotation of large corpora and… 
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)