 |
| English | Russian |
| correct attributes of nonlocal variables visible to a program statement | корректные атрибуты нелокальных переменных, видимые операторам программы (ssn) |
| correct program | корректная программа (ssn) |
| developing a correct program | создание корректной программы (ssn) |
| key to developing a correct program | ключ к созданию корректной программы (ssn) |
| provably correct program | доказуемо корректная программа (программа, написанная таким образом, что можно привлечь математический или логический аппарат для доказательства того, что она удовлетворяет предъявленным требованиям ssn) |
| provably correct programs | доказуемо корректные программы (ssn) |