SIMD language design using prescriptive semantics (Q1110309)

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.