Correctness of flat data parallel algorithms: an axiomatic approach and examples

Joaquim Gabarró, Ricard Gavaldà. Correctness of flat data parallel algorithms: an axiomatic approach and examples. In Daniel Etiemble, Jean-Claude Syre, editors, PARLE 92: Parallel Architectures and Languages Europe, 4th International PARLE Conference, Paris, France, June 15-18, 1992, Proceedings. Volume 605 of Lecture Notes in Computer Science, pages 955-956, Springer, 1992.

Abstract

Abstract is missing.