Content deleted Content added
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
|