Phrase-Based Statistical Translation of Programming Languages. - Svetoslav Karaivanov; Veselin Raychev; Martin T. Vechev (Onward!, 2014)