Pages that link to "Item:Q583875"
From MaRDI portal
The following pages link to An axiomatic treatment of SIMD assignment (Q583875):
Displaying 4 items.
- Axiomatic-like performance analysis (ALPA) (Q1324358) (← 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)
- AXIOMATIC FRAMEWORKS FOR DEVELOPING BSP-STYLE PROGRAMS∗ (Q4485121) (← links)
