Comparison and evaluation of back-translation algorithms for static single assignment forms. - Masataka Sassa; Yo Ito; Masaki Kohama (Comput. Lang. Syst. Struct., 2009)