Complexity of Data Dependence problems for Program Schemas with Concurrency

Sebastian Danicic, Robert M Hierons, Michael R Laurence

The problem of deciding whether one point in a program is data dependent upon another is fundamental to program analysis and has been widely studied. In this paper we consider this…