英语 ⇄ 中文 俄语 德语 法语 +

Hoare logic 强调
编程	хоаровская логика (формализм для частичного доказательства правильности программ ssn); логика Хоара (научная основа для конструирования корректных программ, используется для определения и разработки языков программирования ssn)