Recommendations
- Formal specification of parallel SIMD execution
- scientific article; zbMATH DE number 3907747
- Avoiding conversion and rearrangement overhead in SIMD architectures
- scientific article; zbMATH DE number 3898635
- scientific article; zbMATH DE number 578414
- Fully homomorphic SIMD operations
- scientific article; zbMATH DE number 3876582
- scientific article; zbMATH DE number 515940
Cites work
- An axiomatic definition of the programming language Pascal
- scientific article; zbMATH DE number 4039251 (Why is no real title available?)
- scientific article; zbMATH DE number 3707731 (Why is no real title available?)
- scientific article; zbMATH DE number 3740740 (Why is no real title available?)
- scientific article; zbMATH DE number 3793435 (Why is no real title available?)
- scientific article; zbMATH DE number 3574936 (Why is no real title available?)
- R for Semantics
- SIMD language design using prescriptive semantics
- The denotational semantics of programming languages
Cited in
(6)- SIMD language design using prescriptive semantics
- Axiomatic-like performance analysis (ALPA)
- Correct translation of data parallel assignment onto array processors
- Formal specification of parallel SIMD execution
- Formal validation of data-parallel programs: a two-component assertional proof system for a simple language
- AXIOMATIC FRAMEWORKS FOR DEVELOPING BSP-STYLE PROGRAMS∗
This page was built for publication: An axiomatic treatment of SIMD assignment
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q583875)
