Terms for subject Programming containing stating

English	Russian
assume without stating it that	неявно предполагать, что (ssn)
Here and elsewhere, we assume without stating it that the alphabets of the processes on each side of an equation are the same	Здесь и далее мы неявно предполагаем, что алфавиты процессов в обоих частях уравнения совпадают (см. Communicating Sequential Processes by C.A.R. Hoare 1985 ssn)
state in a formal way	выполнять формальным способом (ssn)