Keshav Pingali Gianfranco Bilardi APT: A Data Structure for Optimal Control Dependence Computation. 32-46 1995 PLDI db/conf/pldi/pldi95.html#PingaliB95