A denotational semantics of textually aligned SPMD Program - Archive ouverte HAL Access content directly
Journal Articles Journal of Logical and Algebraic Methods in Programming Year : 2019

A denotational semantics of textually aligned SPMD Program

Dates and versions

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

Identifiers

Cite

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⟩
34 View
0 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More