Akimasa Morihata, Kiminori Matsuzaki. Automatic Parallelization of Recursive Functions Using Quantifier Elimination. In Matthias Blume, Naoki Kobayashi, Germán Vidal, editors, Functional and Logic Programming, 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings. Volume 6009 of Lecture Notes in Computer Science, pages 321-336, Springer, 2010. [doi]
Abstract is missing.