: An Efficient

Often when we are analyzing a program, for instance to gather information for optimizing transformations, we need to know the effect of executing some element of the program on the program’s variables. In the simplest case, we might want to know what variables might be modified or referenced by the execution of a statement. The presence of procedures and procedure calls in a language complicates this analysis in two ways.