Authors

Kodamballi, Shashidhar; Bruynooghe, M.; Catthoor, Francky; Janssens, G.

Issue

3

Journal

Journal of Universal Computer Science

Volume

9

Title

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

Publication type

Journal article