A Language for Array and Vector Processors
From MaRDI portal
Cited in
(6)- SIMD language design using prescriptive semantics
- Some primitives for the portable programming of array and vector processors
- Correct translation of data parallel assignment onto array processors
- Formal validation of data-parallel programs: a two-component assertional proof system for a simple language
- Parallélisation sémantique
- The programming language ACTUS
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)