Live-variable analysis: Difference between revisions

Content deleted Content added
No edit summary
Line 26:
 
:<math>
{\mbox{KILL}}[s] </math>: The set of variables that are assigned a value in s (in many books{{Clarify|date=May 2015}}, KILL (s) is also defined as the set of variables assigned a value in s ''before any use'', but this doesn'tdoes not change the solution of the dataflow equation):