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