K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens. An Automatic Verification Technique for Loop and Data Reuse Transformations based on Geometric Modeling of Programs. J. UCS, 9(3):248-269, 2003. [doi]
@article{ShashidharBCJ03,
title = {An Automatic Verification Technique for Loop and Data Reuse Transformations based on Geometric Modeling of Programs},
author = {K. C. Shashidhar and Maurice Bruynooghe and Francky Catthoor and Gerda Janssens},
year = {2003},
url = {http://www.jucs.org/jucs_9_3/an_automatic_verification_technique},
tags = {model-to-model transformation, meta programming, program verification, meta-model, modeling, reuse, data-flow programming, data-flow, source-to-source, C++, model transformation, Meta-Environment, transformation, program transformation},
researchr = {https://researchr.org/publication/ShashidharBCJ03},
cites = {0},
citedby = {0},
journal = {J. UCS},
volume = {9},
number = {3},
pages = {248-269},
}