An alternative characterization of weak order dependence
Article
Amtoft, T., Androutsopoulos, K., Clark, D., Harman, M. and Li, Z. 2010. An alternative characterization of weak order dependence. Information Processing Letters. 110 (21), pp. 939-943. https://doi.org/10.1016/j.ipl.2010.07.023
Type | Article |
---|---|
Title | An alternative characterization of weak order dependence |
Authors | Amtoft, T., Androutsopoulos, K., Clark, D., Harman, M. and Li, Z. |
Abstract | Control dependence forms the basis for many program analyses, such as program slicing. Recent work on control dependence analysis has led to new definitions of dependence that can allow for reactive programs with their necessarily non-terminating computations. One important such definition is the definition of Weak Order Dependence, which was introduced to generalize classical control dependence for a Control Flow Graph (CFG) without end nodes. In this paper we show that for a CFG where all nodes are reachable from each other, weak order dependence can be expressed in terms of traditional control dependence where one node has been converted into an end node. |
Publisher | Elsevier |
Journal | Information Processing Letters |
ISSN | 0020-0190 |
Publication dates | |
15 Oct 2010 | |
Publication process dates | |
Deposited | 28 Nov 2014 |
Output status | Published |
Digital Object Identifier (DOI) | https://doi.org/10.1016/j.ipl.2010.07.023 |
Language | English |
Permalink -
https://repository.mdx.ac.uk/item/84y30
56
total views0
total downloads0
views this month0
downloads this month