Terms for subject Programming containing execution statement

English	Russian
execution of an intermediate-code statement	выполнение инструкции промежуточного кода (ssn)
statement of what the world should look like after execution of an operation	высказывание относительно того, как будет выглядеть окружающий мир после выполнения операции (ssn)