Terms for subject Programming containing execution of an operation

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