![]() | Up a level |
Danicic, Sebastian, Barraclough, Richard W., Harman, Mark, Howroyd, John D., Kiss, Ákos, Laurence, Michael R.:
A unifying theory of control dependence and its application to arbitrary program structures.
Theoretical Computer Science, 412 (49).
pp. 6809-6842.
ISSN 0304-3975
(2011)