Communicating sequential processes
Communicating sequential processes
Data parallel computers and the FORALL statement
Journal of Parallel and Distributed Computing
An approach to correctness of data parallel algorithms
Journal of Parallel and Distributed Computing
Reasoning about data-parallel array assignment
Journal of Parallel and Distributed Computing
A Language for Array and Vector Processors
ACM Transactions on Programming Languages and Systems (TOPLAS)
An axiomatic basis for computer programming
Communications of the ACM
Verifiable Programming
The Science of Programming
A Discipline of Programming
Synchronising Asynchronous Communications
Euro-Par '97 Proceedings of the Third International Euro-Par Conference on Parallel Processing
CONPAR 94 - VAPP VI Proceedings of the Third Joint International Conference on Vector and Parallel Processing: Parallel Processing
Hi-index | 0.00 |
Proof rules for both directly and indirectly indexed data-parallel array assignment are presented. Consequently, the correctness of two programs, (i) a representation of Cannon's algorithm and (ii) sparse matrix-vector multiplication, are established by application of the rules.