A Parallel On-Demand Algorithm for Computing Interprocedural Dominators | IEEE Conference Publication | IEEE Xplore