Automatic validation of code-improving transformations on low-level program representations.

Robert van Engelen David B. Whalley Xin Yuan Automatic validation of code-improving transformations on low-level program representations. 257-280 2004 52 Sci. Comput. Program. http://dx.doi.org/10.1016/j.scico.2004.03.008 db/journals/scp/scp52.html#EngelenWY04