Automatic Parallelization of Recursive Functions Using Quantifier Elimination

@inproceedings{Morihata2010AutomaticPO,
  title={Automatic Parallelization of Recursive Functions Using Quantifier Elimination},
  author={Akimasa Morihata and Kiminori Matsuzaki},
  booktitle={FLOPS},
  year={2010}
}