Interprocedural analysis for program comprehension by specialization | IEEE Conference Publication | IEEE Xplore