Please report any queries concerning the funding data grouped in the sections named "Externally Awarded" or "Internally Disbursed" (shown on the profile page) to
your Research Finance Administrator. Your can find your Research Finance Administrator at http://www.ucl.ac.uk/finance/research/post_award/post_award_contacts.php by entering your department
Please report any queries concerning the student data shown on the profile page to:
Email: portico-services@ucl.ac.uk
Help Desk: http://www.ucl.ac.uk/ras/portico/helpdesk
Email: portico-services@ucl.ac.uk
Help Desk: http://www.ucl.ac.uk/ras/portico/helpdesk
Publication Detail
A unifying theory of control dependence and its application to arbitrary program structures
-
Publication Type:Journal article
-
Publication Sub Type:Article
-
Authors:Danicic S, Barraclough RW, Harman M, Howroyd JD, Kiss A, Laurence MR
-
Publisher:ELSEVIER SCIENCE BV
-
Publication date:18/11/2011
-
Pagination:6809, 6842
-
Journal:THEORETICAL COMPUTER SCIENCE
-
Volume:412
-
Issue:49
-
Status:Published
-
Print ISSN:0304-3975
-
Language:English
-
Keywords:Science & Technology, Technology, Computer Science, Theory & Methods, Computer Science, COMPUTER SCIENCE, THEORY & METHODS, Control dependence, Program dependence, Program analysis, Software engineering, Program slicing, Formal methods, Program semantics, Graph theory, GRAPHS
-
Full Text URL:
Abstract
No abstract found
› More search options
UCL Researchers
