Go home now Header Background Image
Search
Submission Procedure
share: |
 
Follow us
 
 
 
 

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
page 248 - 269
Vol.9 / Issue 3