Translation and Run-Time Validation of Loop Transformations.

Lenore D. Zuck Amir Pnueli Benjamin Goldberg Clark W. Barrett Yi Fang Ying Hu Translation and Run-Time Validation of Loop Transformations. 335-360 2005 27 Formal Methods in System Design 3 http://dx.doi.org/10.1007/s10703-005-3402-z db/journals/fmsd/fmsd27.html#ZuckPGBFH05