Single-entry single-exit

Single-Entry Single-Exit (SESE) regions are a fundamental concept in structured programming and control-flow analysis. A SESE region is a portion of a program with exactly one entry point and one exit point, enabling modular reasoning, formal verification, and compiler optimization. Although the term SESE was popularized in the late 1980s, the underlying ideas date back to the origins of structured programming and the development of flow-graph theory in the 1970s.