Lenore D. Zuck, Amir Pnueli, Yi Fang, Benjamin Goldberg. VOC: A Translation Validator for Optimizing Compilers. Electronic Notes in Theoretical Computer Science, 65(2):2-18, 2002. [doi]
@article{ZuckPFG02, title = {VOC: A Translation Validator for Optimizing Compilers}, author = {Lenore D. Zuck and Amir Pnueli and Yi Fang and Benjamin Goldberg}, year = {2002}, url = {http://www.elsevier.com/gej-ng/31/29/23/117/25/show/Products/notes/index.htt#002}, tags = {optimization, translation, compiler}, researchr = {https://researchr.org/publication/ZuckPFG02}, cites = {0}, citedby = {0}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {65}, number = {2}, pages = {2-18}, }