Arbitrary recursion can't be handled because:

The dependencies of the program are not well-scoped, i.e. it is not possible to tell statically which processor needs which data. However, if the recursion depth is limited, it can be supported.

This comment was marked helpful 0 times.