Abstraction by Symbolic Indexing Transformations (2002)

by T F Melham, R B Jones
Venue:in Formal Methods in Computer-Aided Design: FMCAD 2002, ser. LNCS