Terms for subject Programming containing execute statement

English	Russian
execute statement	оператор "выполнить" (ssn)
statement of how we expect the world to be before we execute an operation	высказывание относительно того, как должен выглядеть окружающий мир до выполнения операции (ssn)