Towards a semantics for multidimensional array assignment in fortran 95
IW-FM'01 Proceedings of the 5th Irish conference on Formal Methods
An axiomatic semantics for data-parallel computation
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
Hi-index | 0.00 |