Terms containing execution of the programme sequence

Subject	English	Russian
progr.	execution of the programme sequence	выполнение программной последовательности (ssn)
progr.	point immediately following, in the execution sequence, a specified portion of a program	точка, находящаяся непосредственно за указанным фрагментом программы в последовательности выполнения (ssn)
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)