Robert van Engelen, David B. Whalley, Xin Yuan. Automatic Validation of Code-Improving Transformations. In Jack W. Davidson, Sang Lyul Min, editors, Languages, Compilers, and Tools for Embedded Systems, ACM SIGPLAN Workshop LCTES 2000, Vancouver, BC, Canada, June 18, 2000, Proceedings. Volume 1985 of Lecture Notes in Computer Science, pages 206-210, Springer, 2000. [doi]
Abstract is missing.