Structured Code via Stack Machine

Structured code has been restricted to the use of certain control statements, such as IF, CASE, and WHILE. The absence of a GOTO implies that control enters and leaves regions of code in a LIFO manner. Hence, the control environment can be maintained by a stack of return addresses; and call and return instructions, rather than branches, can be used to transfer control in the machine. The SDL S-machine follows this principle.