Abstract program slicing on dependence condition graphs

Raju Halder, Agostino Cortesi. Abstract program slicing on dependence condition graphs. Science of Computer Programming, 78(9):1240-1263, 2013. [doi]

Abstract

Abstract is missing.