Static Single Assignment for Explicitely Parallel Programs.

Harini Srinivasan, James Hook, Michael Wolfe

Browse the full POPL paper archive.