Automatic Parallelization of Recursive Functions Using Quantifier Elimination.

Akimasa Morihata Kiminori Matsuzaki

Published in: FLOPS (2010)

Keyphrases

recursive functions
quantifier elimination
inductive inference
functional programming
presburger arithmetic
semi automatic
first order logic
constraint propagation
cardinality constraints
constraint databases
optimal solution