Dependence Flow Graphs: An Algebraic Approach to Program Dependencies.

Keshav Pingali, Micah D. Beck, Richard Johnson, Mayan Moudgill, Paul Stodghill

Browse the full POPL paper archive.