英语 ⇄ 俄语 保加利亚语 德语 捷克语 法语 波兰语 罗马尼亚语 +

syntactical program verification 强调
建造	синтаксический контроль программы