A. Stewart
-
An axiomatic semantics for data-parallel computation
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods