Valid Transformations: A New Class of Loop Transformations | IEEE Conference Publication | IEEE Xplore