A unified interprocedural program representation for a maintenance environment | IEEE Conference Publication | IEEE Xplore