A Language for Array and Vector Processors

DOI10.1145/357073.357075MaRDI QIDQ3896479zbMATH OpenOpenAlexFDO

Authors R. H. Perrott

Publication date 1979

Published in ACM Transactions on Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/357073.357075

zbMATH Keywords

programming languagevector processingarray processingparallel data structuresparallel control structures

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Cited in

(6)

• Formal validation of data-parallel programs: a two-component assertional proof system for a simple language
• Some primitives for the portable programming of array and vector processors
• Parallélisation sémantique
• The programming language ACTUS
• SIMD language design using prescriptive semantics
• Correct translation of data parallel assignment onto array processors

This page was built for publication: A Language for Array and Vector Processors

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3896479)