Sciweavers

Share
IPL
2010

An alternative characterization of weak order dependence

8 years 12 months ago
An alternative characterization of weak order dependence
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 cater to 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 exit 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.
Torben Amtoft, Kelly Androutsopoulos, David Clark,
Added 28 Jan 2011
Updated 28 Jan 2011
Type Journal
Year 2010
Where IPL
Authors Torben Amtoft, Kelly Androutsopoulos, David Clark, Mark Harman, Zheng Li
Comments (0)
books