Translation and Run-Time Validation of Loop Transformations

Translation and Run-Time Validation of Loop Transformations” by Lenore Zuck, Amir Pnueli, Benjamin Goldberg, Clark Barrett, Yi Fang, and Ying Hu. Formal Methods in System Design, vol. 27, no. 3, Nov. 2005, pp. 335-360, Springer Netherlands.

BibTeX entry:

@article{ZPG+05,
   author = {Lenore Zuck and Amir Pnueli and Benjamin Goldberg and Clark
	Barrett and Yi Fang and Ying Hu},
   title = {Translation and Run-Time Validation of Loop Transformations},
   journal = {Formal Methods in System Design},
   volume = {27},
   number = {3},
   pages = {335--360},
   publisher = {Springer Netherlands},
   month = nov,
   year = {2005},
   issn = {0925-9856},
   url = {http://www.cs.nyu.edu/~barrett/pubs/ZPG+05.pdf}
}

(This webpage was created with bibtex2web.)