A type discipline for message passing parallel programs
We present ParTypes, a type discipline for parallel programs. The model we have in mind comprises a fixed number of processes running in parallel and communicating via collective operations or point-to-point synchronous message exchanges. A type describes a protocol to be followed by each processes...
| Main Authors: | , , , |
|---|---|
| 格式: | Journal article |
| 语言: | English |
| 出版: |
Association for Computing Machinery
2022
|