On Single-Valuedness in Textually Aligned SPMD Programs
F Dabrowski - International Journal of Parallel Programming, 2021 - Springer
Single-valuedness is a property of an expression occurring in a SPMD program and states
that concomitant evaluations of this expression lead to the same value at all processes …
that concomitant evaluations of this expression lead to the same value at all processes …