SIMD language design using prescriptive semantics

DOI10.1007/BF01941139zbMath0656.68019OpenAlexW1979152362MaRDI QIDQ1110309

Alan 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

denotational semanticsprogramming languageSIMD programs

Mathematics Subject Classification ID

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

Related Items (2)

Correct translation of data parallel assignment onto array processors ⋮ An axiomatic treatment of SIMD assignment

Cites Work

• Unnamed Item
• Unnamed Item
• Some primitives for the portable programming of array and vector processors
• An axiomatic definition of the programming language Pascal
• A Language for Array and Vector Processors
• R for Semantics
• The denotational semantics of programming languages

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