Pages that link to "Item:Q583875"
From MaRDI portal
The following pages link to An axiomatic treatment of SIMD assignment (Q583875):
Displaying 6 items.
- SIMD language design using prescriptive semantics (Q1110309) (← links)
- Axiomatic-like performance analysis (ALPA) (Q1324358) (← links)
- Correct translation of data parallel assignment onto array processors (Q1336950) (← links)
- Formal specification of parallel SIMD execution (Q1349884) (← links)
- Formal validation of data-parallel programs: a two-component assertional proof system for a simple language (Q1389681) (← links)
- AXIOMATIC FRAMEWORKS FOR DEVELOPING BSP-STYLE PROGRAMS∗ (Q4485121) (← links)