A denotational semantics of textually aligned SPMD programs
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 1691466
- A linear-history semantics for languages for distributed programming
- scientific article; zbMATH DE number 3890713
- Full abstraction for a shared-variable parallel language
- Verification of distributed programs of the SPMD-type on the basis of the L-programs formalism
Cites work
- A Declarative Language for the Coq Proof Assistant
- A denotational semantics of textually aligned SPMD programs
- A high-performance, portable implementation of the MPI message passing interface standard
- Applicative programming with effects
- scientific article; zbMATH DE number 439891 (Why is no real title available?)
- scientific article; zbMATH DE number 4035108 (Why is no real title available?)
- scientific article; zbMATH DE number 1760048 (Why is no real title available?)
- scientific article; zbMATH DE number 1844519 (Why is no real title available?)
- Some Computer Organizations and Their Effectiveness
Cited in
(5)- A denotational semantics of textually aligned SPMD programs
- A denotational semantics for SPARC TSO
- Preface to the special issue on formal approaches to parallel and distributed systems 2018
- scientific article; zbMATH DE number 1691466 (Why is no real title available?)
- Verified scalable parallel computing with Why3
This page was built for publication: A denotational semantics of textually aligned SPMD programs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2011201)
