Formal specification of parallel SIMD execution

DOI10.1016/S0304-3975(96)00113-2MaRDI QIDQ1349884zbMATH OpenOpenAlexWikidataFDO

Authors C. A. Farrell, D. H. Kieronska

Publication date 27 February 1997

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0304-3975(96)00113-2

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• SIMD language design using prescriptive semantics
• Orthogonal parallel processing in Vector Pascal
• scientific article; zbMATH DE number 4090775
• An axiomatic treatment of SIMD assignment
• Control machines: A new model of parallelism for compositional specifications and their effective compilation

Cites work

• scientific article; zbMATH DE number 3740740 (Why is no real title available?)
• A Powerdomain Construction
• A calculus of communicating systems
• Formal specification of parallel SIMD execution
• Parallelism in random access machines
• Programming as a Discipline of Mathematical Nature

Cited in

(4)

• Orthogonal parallel processing in Vector Pascal
• An axiomatic treatment of SIMD assignment
• SIMD language design using prescriptive semantics
• Formal specification of parallel SIMD execution

Describes a project that uses

Uses Software

• MPL

This page was built for publication: Formal specification of parallel SIMD execution

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