Motohiro Kawahito Hideaki Komatsu Toshio Nakatani Partial redundancy elimination for access expressions by speculative code motion. 1065-1090 2004 34 Softw., Pract. Exper. 11 http://dx.doi.org/10.1002/spe.604 db/journals/spe/spe34.html#KawahitoKN04