Verification of Source Code Transformations by Program Equivalence Checking.

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

Browse the full CC paper archive.