Migrating code with statistical machine translation
The mathematics of statistical machine translation: Parameter estimation