English analog programming and checking: תרגום לשפות אחרות