Terms for subject Programming containing sequence of points

English	Russian
point immediately following, in the execution sequence, a specified portion of a program	точка, находящаяся непосредственно за указанным фрагментом программы в последовательности выполнения (ssn)
postcondition: assertion that pertains to a point immediately following, in the execution sequence, a specified portion of a program	постусловие: оператор условия, относящийся к точке, находящейся непосредственно за указанным фрагментом программы в последовательности выполнения (ISO/IEC 2382:2015 ssn)
thread of control in a program is the sequence of program points reached as control flows through the program	поток управления в программе – это последовательность точек, которые достигаются при выполнении программы (ssn)
thread of control in a program is the sequence of program points reached as control flows through the program	поток управления в программе – это последовательность точек, которые достигаются при выполнении программы (ssn)