Author(s)
Compilation for Nested Recursion-Parallelism
Computing Science Dept.
Uppsala University
thomasl@csd.uu.se
Abstract
In this paper, we show that compilation for nested recursion-parallel
execution can be accomodated by extending the existing analyses of Reform
Prolog, a recursion-parallel Prolog implementation.
We then show that expressing parallel computations in this new
intermediate language can yield some interesting insights applicable to
other