A denotational semantics of textually aligned SPMD Program

Document type :
Journal articles
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-02018652
Contributor : Frédéric Dabrowski <>
Submitted on : Thursday, February 14, 2019 - 8:05:12 AM
Last modification on : Friday, February 15, 2019 - 1:20:33 AM

Identifiers

  • HAL Id : hal-02018652, version 1

Collections

Citation

Frederic Dabrowski. A denotational semantics of textually aligned SPMD Program. Journal of Logical and Algebraic Methods in Programming, Elsevier, In press. ⟨hal-02018652⟩

Share

Metrics

Record views

11