A parallel on-demand algorithm for computing interprocedural dominatorsAharon AbadiYishai A. Feldman2014SCAM 2014