Translation and run-time validation of loop transformations
scientific article; zbMATH DE number 5000186