Live Variable Analysis is a data-flow analysis technique that determines, for each program point, whether a variable’s current value may be used before being overwritten, thereby identifying variables that are live at that point.
14
Publications
916
Citations
30
Authors
20
Institutions
Publications per year
2017–2026
1
Parents
Publications
14
The undecidability of aliasing
G. Ramalingam · ACM Transactions on Programming Languages and Systems · 1994 · 304 citations · Full text
Inter-procedural data-flow analysis with IFDS/IDE and Soot
Eric Bodden · 2012 · 120 citations
Node listings applied to data flow analysis
Ken Kennedy · 1975 · 67 citations
1–5 of 14
Authors
30
- KK
2
h-index
- MJ
1
h-index
- ZS
1
h-index
- LG
1
h-index
- MA
1
h-index
1–5 of 30
Institutions
20
Rice University
Houston, United States
2 h-index
2 publications
128 citations
Centre National de la Recherche Scientifique
Paris, France
1 h-index
3 publications
75 citations
École Normale Supérieure de Lyon
Lyon, France
1 h-index
3 publications
75 citations
University of Massachusetts Amherst
Amherst Center, United States
1 h-index
1 publications
87 citations
Princeton University
Princeton, United States
1 h-index
2 publications
62 citations
Indian Institute of Technology Delhi
New Delhi, India
1 h-index
2 publications
20 citations
Université Claude Bernard Lyon 1
Villeurbanne, France
1 h-index
3 publications
75 citations
Saarland University
Saarbrücken, Germany
1 h-index
1 publications
25 citations
1–8 of 20
Venues
- International Journal of Computer Mathematics
1 publications · 61 citations
1
h-index
- Science of Computer Programming
1 publications · 36 citations
1
h-index
- Journal of the Egyptian Mathematical Society
1 publications · 12 citations
1
h-index
- IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
1 publications · 54 citations
1
h-index
- arXiv (Cornell University)
Repository · 1 publications · 35 citations
1
h-index
1–5