A sound and complete abstraction for reasoning about parallel prefix sums.

Nathan Chong, Alastair F. Donaldson, Jeroen Ketema

Browse the full POPL paper archive.