The Semantics of Simple Language for Parallel Programming

In this paper, we describe a simple language for parallel programming. Its semantics is studied thoroughly. The desirable properties of this language and its deficiencies are exhibited by this theoretical study. Basic results on parallel program schemata are given. We hope in this way to make a case for more formal (i.e. mathematical) approach to the design… CONTINUE READING

7 Figures & Tables



Citations per Year

2,700 Citations

Semantic Scholar estimates that this publication has 2,700 citations based on the available data.

See our FAQ for additional information.