ResearchIndex Home D. B. Lomet. Data flow analysis in the presence of procedure calls . As a result it is beyond the scope of this document to perform an exhaustive survey of the field. Interprocedural analyses answer questions such as if the value of a variable is changed at statement in procedure will it affect the computation of statement in procedure .
Data flow analysis in the presence of procedure calls .
Data flow analysis in the presence of procedure calls . We have not chosen this approach. Instead , we use the idea of solving a data flow problem for a procedure assuming an alias condition on entry. The key idea in our solution to the unrealizable path problem is to devise a two step algorithm. Data flow analysis in the presence of procedure calls .