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.
2015
2015
Improving the Detection of Encrypted Data on Storage Devices
The detection of persistently stored encrypted data plays an increasingly important role in digital forensics. This is especially… 
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
Deadlock Control for Weighted Systems of Simple Sequential Processes with Resources Requirement (WS3PR)
Current deadlock control approaches for WS 3 PR (Weighted Systems of Simple Sequential Processes with Resources Requirement… 
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… 
Review
2004
Review
2004
IF Validation Environment Tutorial
IF [3,7] is an open validation platform for asynchronous timed systems developed at Verimag during the last 5 years. 
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… 
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… 
1987
1987
Liveness analysis of sequence control specifications described in capacity designated Petri net using reduction
  • T. MurataN. Komoda
  • Proceedings. IEEE International Conference on…
  • 1987
  • Corpus ID: 34888425
The capacity designated Petri net (CPN), each of its places can have at most designated number of tokens, is a suitable model for… 
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)