Programming Languages and Translation