A unifying theory of control dependence and its application to arbitrary program structures

Danicic Sebastian and Barraclough Richard W. and Harman Mark and Howroyd John D. and Kiss Ákos and 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)

[thumbnail of danicic-condep.pdf] Text
danicic-condep.pdf - Published Version
Restricted access: Logged in users only

Download (523kB)
[thumbnail of danicic-condep-authorscopy.pdf]
Preview
Text
danicic-condep-authorscopy.pdf - Published Version

Download (688kB) | Preview
Creators:
Danicic Sebastian
Barraclough Richard W.
Harman Mark
Howroyd John D.
Kiss Ákos MTMT
Laurence Michael R.
Item Type: Journal Article
Journal or Publication Title: Theoretical Computer Science
Date: 2011
Volume: 412
Number: 49
Page Range: pp. 6809-6842
ISSN: 0304-3975
Publisher: Elsevier
Faculty/Unit: Faculty of Science and Informatics
Department: Szoftverfejlesztés Tanszék
Institution: University of Szeged (2000-)
Language: English
MTMT rekordazonosító: 1785437
DOI azonosító: https://doi.org/10.1016/j.tcs.2011.08.033
Date Deposited: 2012. Sep. 26. 07:30
Last Modified: 2018. Jul. 13. 12:28
URI: http://publicatio.bibl.u-szeged.hu/id/eprint/1568
Web of Science® Times Cited: 18 View citing articles in Web of Science®

Actions (login required)

View Item View Item

Downloads

Downloads per month over past year