Efficient automatic verification of loop and data-flow transformations door K. Shashidhar