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. Science of Computer Programming, 52:257-280, 2004. [doi]

Authors

Robert van Engelen

This author has not been identified. Look up 'Robert van Engelen' in Google

David B. Whalley

This author has not been identified. Look up 'David B. Whalley' in Google

Xin Yuan

This author has not been identified. Look up 'Xin Yuan' in Google