A Program Form Based on Data Dependency in Predicate Regions.

Jeanne Ferrante, Karl J. Ottenstein

Browse the full POPL paper archive.