Control Flow Statements
Machine execution model
- Compilation, machine instructions, and program counter
- Tests, conditional and unconditional branches, and labels
Programming language abstractions
- Tests, labels, gotos, and calls
- Sequential, conditional, looping, and procedure invocation
- Extensions: case, loop variants