“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.)