Translation Of Formal Program In Different Languages