Computation of interprocedural definition and use dependencies | IEEE Conference Publication | IEEE Xplore