Live-variable analysis: Difference between revisions

Content deleted Content added
A11ce (talk | contribs)
link to side effects
Expression in terms of dataflow equations: Added clarification on "many books" line
Line 22:
 
:<math>
{\mbox{KILL}}[s] </math>: The set of variables that are assigned a value in s (in many books{{Clarify|date=May 2015}}that discuss compiler design, KILL (s) is also defined as the set of variables assigned a value in s ''before any use'', but this does not change the solution of the dataflow equation):