Zuck, Lenore; Pnueli, Amir; Goldberg, Benjamin; Barrett, Clark; Fang, Yi; Hu, Ying Translation and run-time validation of loop transformations. (English) Zbl 1083.68555 Form. Methods Syst. Des. 27, No. 3, 335-360 (2005). MSC: 68N20 PDFBibTeX XMLCite \textit{L. Zuck} et al., Form. Methods Syst. Des. 27, No. 3, 335--360 (2005; Zbl 1083.68555) Full Text: DOI
Barrett, Clark; Fang, Yi; Goldberg, Benjamin; Hu, Ying; Pnueli, Amir; Zuck, Lenore TVOC: A translation validator for optimizing compilers. (English) Zbl 1081.68606 Etessami, Kousha (ed.) et al., Computer aided verification. 17th international conference, CAV 2005, Edinburgh, Scotland, UK, July 6–10, 2005. Proceedings. Berlin: Springer (ISBN 3-540-27231-3/pbk). Lecture Notes in Computer Science 3576, 291-295 (2005). MSC: 68Q60 68N20 PDFBibTeX XMLCite \textit{C. Barrett} et al., Lect. Notes Comput. Sci. 3576, 291--295 (2005; Zbl 1081.68606) Full Text: DOI