Bounded Parallelism in PowerList and ParList Theories

A very efficient model for recursive, data-parallel programs can be one based on PowerList, PowerArray, and ParList theories. It assures simple and correct design of this kind of programs, allowing work at a high level of abstraction. This high level of abstraction could be reconciled with performance by introducing data-distributions into these theories… CONTINUE READING