Symmetries in data parallelism
Alex Shafarenko · The Computer Journal · 1995
A comprehensive formalization of data-parallel (DP) symmetries in an imperative language paradigm without nesting is presented, which includes translation, affine and access symmetries. A subtyping system which takes these symmetries into account is discussed. A multi-component type is introduced, with type inclusion in each component reflecting a diminished symmetry of a supertype compared to any of its subtypes. It is possible to use the proposed type scheme in a DP language compiler to deduce access information from unannotated programs.