Translation Validation of Code Motion Transformations Involving Loops | IEEE Journals & Magazine | IEEE Xplore