A denotational semantics of textually aligned SPMD Program - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Journal of Logical and Algebraic Methods in Programming Année : 2019

A denotational semantics of textually aligned SPMD Program

Dates et versions

hal-02018652 , version 1 (14-02-2019)

Identifiants

Citer

Frederic Dabrowski. A denotational semantics of textually aligned SPMD Program. Journal of Logical and Algebraic Methods in Programming, 2019, ⟨10.1016/j.jlamp.2019.02.010⟩. ⟨hal-02018652⟩
33 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More