Semantics for data parallel computation

DOI10.1007/BF01397628zbMath0741.68072MaRDI QIDQ1186098

Michael D. Rice

Publication date: 28 June 1992

Published in: International Journal of Parallel Programming (Search for Journal in Brave)

zbMATH Keywords

operational semanticsdenotational semanticsSIMDCSP specificationlow level data parallel language

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Cites Work

• Unnamed Item
• LCF considered as a programming language
• A Theory of Communicating Sequential Processes
• R for Semantics
• Analysis Techniques for SIMD Machine Interconnection Networks and the Effects of Processor Address Masks

This page was built for publication: Semantics for data parallel computation