Text size
  • Small
  • Medium
  • Large
Contrast
  • Standard
  • Blue text on blue
  • High contrast (Yellow text on black)
  • Blue text on beige

    An Axiomatic Semantics for Data Parallel Computation

    1st Irish Workshop on Formal Methods

    Dublin, Ireland. 3rd - 4th July 1997

    AUTHORS

    A. Stewart

    ABSTRACT

    Proof rules for both directly and indirectly indexed data-parallel array assignment are presented.

    Consequently, the correctness of two programs, (i) a representation of Cannon's algorithm and (ii) sparse matrix-vector multiplication, are established by application of the rules.

    PAPER FORMATS

    PDF filePDF Version of this Paper (35kb)