PolyCheck: dynamic verification of iteration space transformations on affine programs (Q2828296)

From MaRDI portal
scientific article
Language Label Description Also known as
English
PolyCheck: dynamic verification of iteration space transformations on affine programs
scientific article

    Statements

    PolyCheck: dynamic verification of iteration space transformations on affine programs (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    24 October 2016
    0 references
    0 references
    dynamic verification
    0 references
    iteration space transformation
    0 references
    static analysis
    0 references