SIMD language design using prescriptive semantics
From MaRDI portal
The goal of this article is to isolate a set of primitives necessary for the construction of SIMD programs and to give a denotational semantics for these primitives. The intent is to devise a language with a simple semantics rather than to propose a language which may be conveniently implemented. The approach taken results in the addition of a synchronous parallel assignment statement and a synchronous communication statement to the familiar sequential programming language control structures of composition, projection and iteration.
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
- A Language for Array and Vector Processors
- 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 3793435 (Why is no real title available?)
- R for Semantics
- Some primitives for the portable programming of array and vector processors
- The denotational semantics of programming languages
Cited in
(4)
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)
