摘要 |
The control of program execution associates with each operator an initial and a final numeric code, linked by a degradation function (DEG). The degradation function is applied to contents of a register (R) initialized at the start of each instruction with the initial code. After execution of each instruction, coherence between contents of the register and final code of the operator is tested.
|