theoretical study by people who believed that such information would be useful for code
optimization. Building upon previous work, an algorithm for interprocedural data flow
analysis has been implemented. The algorithm produces three flow‐insensitive summary
sets: MOD, USE and ALIASES. The utility of the resulting information was investigated using
an optimizing Pascal compiler. Over a sampling of 27 bench‐marks, new optimizations …