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

Author(s)

Kodamballi, Shashidhar

;

Bruynooghe, M.

;

;

Janssens, G.

Journal of Universal Computer Science

1887 since deposited on 2021-10-15

Acq. date: 2025-12-08