Execution of Statements Clause Samples

Execution of Statements. The function X (Fig. 7) recursively executes all statements of the program counter σ.pc, and collects the results. Execution of a SECA program starts in a program state that contains the body of the main function as program counter. The function S (Fig.