Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source Code

K. C. Shashidhar Maurice Bruynooghe Francky Catthoor Gerda Janssens Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source Code http://arxiv.org/abs/0710.4689 2007 CoRR abs/0710.4689 db/journals/corr/corr0710.html#abs-0710-4689 informal publication