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.