An automatic verification technique for loop and data reuse transformations based on geometric modeling of programs

Kodamballi, ShashidharShashidharKodamballiBruynooghe, M.M.BruynoogheCatthoor, FranckyFranckyCatthoorJanssens, G.G.Janssens2021-10-152021-10-152003https://imec-publications.be/handle/20.500.12860/7747An automatic verification technique for loop and data reuse transformations based on geometric modeling of programsJournal article