A denotational semantics of textually aligned SPMD programs
type: Item
instance of: scholarly article
title: A denotational semantics of textually aligned SPMD programs
zbMATH Open document ID: 1435.68058
author: Frédéric Dabrowski
published in: Journal of Logical and Algebraic Methods in Programming
publication date: 2019-11-28T00:00:00Z
Mathematics Subject Classification ID: 68N15
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 7138310
zbMATH Keywords: parallelism semantics
zbMATH Keywords: synchronization
zbMATH Keywords: textual alignment
zbMATH Keywords: SPMD
describes a project that uses: Coq
describes a project that uses: BSPlib
describes a project that uses: OpenSHMEM
describes a project that uses: MulticoreBSP
MaRDI profile type: Publication
cites work: A Declarative Language for the Coq Proof Assistant
cites work: Q4784888
cites work: Some Computer Organizations and Their Effectiveness
cites work: A high-performance, portable implementation of the MPI message passing interface standard
cites work: Q3774923
cites work: Q4536986
cites work: Applicative programming with effects
cites work: Q3141916
full work available at URL: hal-02018652
OpenAlex ID: W4393336802
Wikidata QID: Q127589293
DOI: 10.1016/J.JLAMP.2019.02.010
description: scientific article; zbMATH DE number 7138310