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

K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens

Browse the full DATE paper archive.