Live-variable analysis: Difference between revisions

Content deleted Content added
m Removed an open parenthesis that was not needed and had no close parenthesis.
m fixed typo
Line 3:
Stated simply: a variable is '''live''' if it holds a value that may be needed in the future.
 
It is a "backwards mayway" analysis. The analysis is done in a backwards order, and the dataflow [[confluence operator]] is [[set union]].
 
<table>