Output details
11 - Computer Science and Informatics
Goldsmiths' College
A unifying theory of control dependence and its application to arbitrary program structures
<10> TCS is one of the most important journals in Theoretical Computer Science with an H-index of 67. This paper reports the first general characterisation, capturing all previous definitions of control dependence. Control dependence is central to many program analysis and transformation techniques. It underpins work on program slicing, GOTO elimination and compiler optimisations. Our generalisations enable control dependence to be rigorously applied to a large range of programmatic structures including state-based models and other non-deterministic execution paradigms. First presented by Danicic as an invited keynote at the CREST Open Workshop Program Analysis and Slicing at University College London http://crest.cs.ucl.ac.uk/cow/10/.