Maurice Bruynooghe
Department of Computer Science, Katholieke Universiteit Leuven, Belgium
K. C. Shashidhar, M. Bruynooghe, F. Catthoor, G. Janssens: An Automatic Verification Technique for Loop and Data Reuse Transformations based on Geometric Modeling of Programs /jucs_9_3/an_automatic_verification_technique