Abstraction by Symbolic Indexing Transformations.

Thomas F. Melham, Robert B. Jones

Browse the full FMCAD paper archive.