A denotational semantics of textually aligned SPMD programs

DOI10.1016/j.jlamp.2019.02.010zbMath1435.68058OpenAlexW4393336802MaRDI QIDQ2011201

Frédéric Dabrowski

Publication date: 28 November 2019

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://hal.science/hal-02018652

zbMATH Keywords

synchronizationSPMDparallelism semanticstextual alignment

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Related Items (2)

Preface to the special issue on formal approaches to parallel and distributed systems 2018 ⋮ A denotational semantics of textually aligned SPMD programs

Uses Software

• Coq
• BSPlib
• MulticoreBSP
• OpenSHMEM

Cites Work

• A high-performance, portable implementation of the MPI message passing interface standard
• A denotational semantics of textually aligned SPMD programs
• A Declarative Language for the Coq Proof Assistant
• Applicative programming with effects
• Some Computer Organizations and Their Effectiveness
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A denotational semantics of textually aligned SPMD programs