| Subject | English | Russian |
| progr. | compute the overflow predicate | вычисление предикатов переполнения (ssn) |
| progr. | overflow predicate | условие переполнения (ssn) |
| progr. | overflow predicate | предикат переполнения (ssn) |
| progr. | overflow predicates | условия переполнения (ssn) |