Ludo Van Put Dominique Chanet Koen De Bosschere Whole-program linear-constant analysis with applications to link-time optimization. 61-70 2007 SCOPES http://doi.acm.org/10.1145/1269843.1269853 conf/scopes/2007 db/conf/scopes/scopes2007.html#PutCB07