SIMD language design using prescriptive semantics

DOI10.1007/BF01941139MaRDI QIDQ1110309zbMATH OpenOpenAlexFDO

Authors A. Stewart

Publication date 1988

Published in BIT (Search for Journal in Brave)

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

zbMATH Keywords

programming languagedenotational semanticsSIMD programs

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99)

Recommendations

• scientific article; zbMATH DE number 139816
• Semantics and Verification of a Language for Modelling Hardware Architectures
• scientific article; zbMATH DE number 1852161
• Formal specification of parallel SIMD execution
• An axiomatic treatment of SIMD assignment
• Simulation of operational semantics of machine instructions

Cites work

• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 3793435 (Why is no real title available?)
• A Language for Array and Vector Processors
• An axiomatic definition of the programming language Pascal
• R for Semantics
• Some primitives for the portable programming of array and vector processors
• The denotational semantics of programming languages

Cited in

(3)

• Orthogonal parallel processing in Vector Pascal
• An axiomatic treatment of SIMD assignment
• Correct translation of data parallel assignment onto array processors

This page was built for publication: SIMD language design using prescriptive semantics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1110309)