Title: The Semantics of Control Dependence in Slicing

Abstract:

The literature on control dependence contains several definitions and many applications.

We investigate the behaviour of control flow graphs which have been sliced using control dependence alone. We define two semantic relations, weak and strong projection that exist, depending on the form of control dependence, between a CFG and its slice. We have shown that all published forms of control dependence give rise to slices which satisfy one or other of these relations.