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

Nathan Chong Alastair F. Donaldson Jeroen Ketema

Published in: POPL (2014)

Keyphrases

data structure
high level
artificial intelligence
parallel processing
parallel implementation
qualitative reasoning
data sets
decision trees
shared memory
database
information retrieval
probability distribution
random variables
parallel programming
bit parallel