Pages that link to "Item:Q3896479"
From MaRDI portal
The following pages link to A Language for Array and Vector Processors (Q3896479):
Displayed 6 items.
- SIMD language design using prescriptive semantics (Q1110309) (← links)
- Some primitives for the portable programming of array and vector processors (Q1157697) (← links)
- Correct translation of data parallel assignment onto array processors (Q1336950) (← links)
- Formal validation of data-parallel programs: a two-component assertional proof system for a simple language (Q1389681) (← links)
- Parallélisation sémantique (Q3479539) (← links)
- The programming language ACTUS (Q3664403) (← links)