Automatic validation of codeimproving transformations (2000)

by R A van Engelen, D Whalley, X Yuan
Venue:In ACM SIGPLAN Workshop on Language, Compilers, and Tools for Embedded Systems