Reasoning about data-parallel array assignment. (English) Zbl 0833.68027
Summary: Three representations of data-parallel array assignment – generalized array assignment, FORTRAN 90 array assignment and HPF array assignment – are compared by deriving their axiomatic inference rules. The goals are (i) to identify shortcomings of representations of data-parallel array assignment in existing programming languages and suggest improvements and (ii) to clarify the semantics of particular formulations of array assignment.
MSC:
68N15 | Theory of programming languages |
68Q60 | Specification and verification (program logics, model checking, etc.) |
68Q55 | Semantics in the theory of computing |