A Generalized forall Concept for Parallel Languages

Extended abstract The forall statement is an important language construct in many (data) parallel languages 1], 2], 3], 6], 8], 9]. It gives an indication to the compiler which computations can be performed independently. In this abstract, we will deene a generalized forall statement and discuss its implementation. This forall statement has the ability to… (More)