Machine-Independent Optimizations-Part 3 and Data-flow Analysis:Theoretical Foundation