| Subject | Russian | English |
| progr. | Возникновение события может вызвать нарушение предусловий и может привести к выполнению других условий, постусловий | the occurrence of the event may cause the preconditions to cease to hold and may cause other conditions, postconditions, to become true |
| progr. | выполнение других условий, постусловий | other conditions, postconditions, to become true (ssn) |
| progr. | допуск входных параметров в постусловие | allowing value parameters in the postcondition (ssn) |
| progr. | комбинирование пред-и постусловий | combining pre- and postconditions (ssn) |
| progr. | краткое описание, предусловия и постусловия | brief description, preconditions and postconditions (ssn) |
| progr. | оператор цикла с постусловием | do-while statement (в языке программирования Х10; IBM Alex_Odeychuk) |
| el. | оператор цикла с постусловием | do until |
| progr. | оператор цикла с постусловием | repeat-until statement (ssn) |
| progr. | оператор цикла с постусловием | do until (ssn) |
| media. | оператор цикла с постусловием | repeat statement |
| AI. | постусловие действия | action postcondition (what is established after the action is performed Alex_Odeychuk) |
| progr. | постусловие надклассового типа | class-wide postcondition (корпорации AdaCore Alex_Odeychuk) |
| progr. | постусловие: оператор условия, относящийся к точке, находящейся непосредственно за указанным фрагментом программы в последовательности выполнения | postcondition: assertion that pertains to a point immediately following, in the execution sequence, a specified portion of a program (ISO/IEC 2382:2015 ssn) |
| progr. | постусловие функции | function postcondition (специальное условие, которые проверяется при выходе из функции Alex_Odeychuk) |
| progr. | пред-и постусловия | pre- and postconditions (ssn) |
| progr. | предусловия и постусловия | pre and post conditions (средства контрактного программирования; корпорации AdaCore Alex_Odeychuk) |
| progr. | предусловия и постусловия | preconditions and postconditions (ssn) |
| progr. | предусловия и постусловия функции | function preconditions and postconditions (Alex_Odeychuk) |
| progr. | приводить к выполнению других условий, постусловий | cause other conditions, postconditions, to become true (ssn) |
| IT | цикл с постусловием | do loop |
| progr. | цикл с постусловием | exit-condition loop (ZXCompare) |
| progr. | цикл с постусловием | foot-controlled loop (to_work) |
| progr. | цикл с постусловием | posttest loop (цикл, в котором предикат управления циклом (loop control predicate) вычисляется после обработки внутри цикла. В циклах с постусловием обработка выполняется по меньшей мере один раз ssn) |
| progr. | цикл с постусловием | repeat-until loop (ssn) |
| progr. | цикл с постусловием | posttested loop (условие завершения цикла проверяется после исполнения тела цикла. Ant: pretested loop ssn) |
| progr. | цикл с постусловием | post-test loop (ptraci) |
