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

by J Chen, D Wu, A W Appel, H Fang
Venue:In Proc. 2003 ACM Conference on Programming Language Design and Implementation