Kontrollstrukturen sind Anweisungen in imperativen Programmiersprachen. Sie dienen dazu, den Ablauf eines Computerprogramms zu steuern. Eine Kontrollstruktur ist entweder eine Verzweigung oder eine Schleife. Ihre Ausführung wird in der Regel durch logische Ausdrücke der Booleschen Algebra beeinflusst.