An Equational Language for Data-Parallelism.

Pushpa Rao Clifford Walinsky

Published in: PPOPP (1993)

Keyphrases

data parallelism
combinatorial search
parallel processing
parallel programming
natural language
theorem proving
distributed computing
programming language
programming environment
distributed memory
xml documents
data management
first order logic
inductive logic programming
constraint solver