A provably sound TAL for back-end optimization (2003)

by Juan Chen, Dinghao Wu, Andrew W Appel, Hai Fang
Venue:In Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI ’03