A Calculational Approach to Flattening Nested Data Parallelism in Functional Languages.

Gabriele Keller Martin Simons

Published in: ASIAN (1996)

Keyphrases

data parallelism
combinatorial search
parallel processing
theorem proving
parallel programming
distributed computing
expressive power
distributed memory
databases
evolutionary algorithm
shared memory
software engineering
orders of magnitude