Російська ⇄ Англійська

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