 |
| Subject | English | Russian |
| progr. | an analogous mechanism for "record handling" was first proposed by Hoare | Аналогичный механизм для "обработки записей" впервые был предложен Хоаром (ssn) |
| progr. | Hoare logic | логика Хоара (научная основа для конструирования корректных программ, используется для определения и разработки языков программирования ssn) |
| progr. | Hoare logic | хоаровская логика (формализм для частичного доказательства правильности программ ssn) |
| progr. | Hoare sort | быстрая сортировка методом Quicksort (ssn) |
| progr. | Hoare sort | сортировка методом Хоара (ssn) |