Perfect Reconstructability of Control Flow from Demand Dependence Graphs

Helge Bahmann, Nico Reissmann, Magnus Jahre, Jan Christian Meyer. Perfect Reconstructability of Control Flow from Demand Dependence Graphs. TACO, 11(4):66, 2014. [doi]

Abstract

Abstract is missing.