Russian ⇄ English

логика Хоара stresses
progr.	Hoare logic (научная основа для конструирования корректных программ, используется для определения и разработки языков программирования ssn)