Perfect Reconstructability of Control Flow from Demand Dependence Graphs

   Abstract