System dependence graph construction for recursive programs | IEEE Conference Publication | IEEE Xplore