An axiomatic treatment of SIMD assignment

DOI10.1007/BF01932133MaRDI QIDQ583875zbMATH OpenOpenAlexFDO

Authors A. Stewart

Publication date 1990

Published in BIT (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01932133

zbMATH Keywords

SIMD computation

Mathematics Subject Classification ID

Theory of software (68N99) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

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)