Interprocedural heap analysis for parallelizing imperative programs | IEEE Conference Publication | IEEE Xplore