“Validating More Loop Optimizations” by Ying Hu, Clark Barrett, Benjamin Goldberg, and Amir Pnueli. In Proceedings of the 4^th International Workshop on Compiler Optimization meets Compiler Verificaiton (COCV '05), (J. Knoop, G.C. Necula, and W. Zimmermann, eds.), Dec. 2005, pp. 69-84. Edinburgh, Scotland.
BibTeX entry:
@inproceedings{HBG+05,
author = {Ying Hu and Clark Barrett and Benjamin Goldberg and Amir Pnueli},
editor = {J. Knoop and G.C. Necula and W. Zimmermann},
title = {Validating More Loop Optimizations},
booktitle = {Proceedings of the {\it 4^{th}} International Workshop on
Compiler Optimization meets Compiler Verificaiton (COCV '05)},
series = {Electronic Notes in Theoretical Computer Science},
volume = {141(2)},
pages = {69--84},
publisher = {Elsevier},
month = dec,
year = {2005},
note = {Edinburgh, Scotland},
url = {http://theory.stanford.edu/~barrett/pubs/HBG+05.pdf}
}
(This webpage was created with bibtex2web.)