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

by J Chen, D Wu, A W Appel, H Fang
Venue:In PLDI ’03: Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation