be guarded – phrases

Terms for subject Programming containing be guarded | all forms

English	Russian
for a guarded signal that is of a composite type, each subelement is likewise a guarded signal	каждый подэлемент защищённого сигнала составного типа также является защищённым сигналом (см. IEЕЕ Std. 1076-87. IEЕЕ Standard VHDL. Language Reference Manual)
guarded signal that is of a composite type	защищённый сигнал составного типа (ssn)
To prove more general theorems about recursively defined processes, it is necessary to introduce a law which states that every properly guarded recursive equation has only one solution	для доказательства более общих теорем о рекурсивно определённых процессах необходимо ввести закон, гласящий, что всякое должным образом предварённое рекурсивное уравнение имеет единственное решение (см. Communicating Sequential Processes by C.A.R. Hoare 1985 ssn)