Live-variable analysis: Difference between revisions

Content deleted Content added
References: others have this cat, too
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 waymay" analysis. The analysis is done in a backwards order, and the dataflow [[confluence operator]] is [[set union]].
 
{| class="floatright"