Exact side effects for interprocedural dependence analysis
Peiyi Tang · 1993
Exact side effects of subroutine calls are essential for exact interprocedural dependence analysis. To summarize the side effect of multiple array references, a collective representation of all the array elements accessed is needed. So far all existing forms of collective summary of side effects of multiple array references are approximate.