Eine Schleife (auch „Wiederholung“ oder englisch loop) ist eine Kontrollstruktur in Programmiersprachen. Sie wiederholt einen Anweisungs-Block – den sogenannten Schleifenrumpf oder Schleifenkörper –, solange die Schleifenbedingung als Laufbedingung[Anm 1] gültig bleibt bzw. als Abbruchbedingung nicht eintritt. Schleifen, deren Schleifenbedingung immer zur Fortsetzung führt oder die keine Schleifenbedingung haben, sind Endlosschleifen.
Schleifen können beliebig verschachtelt werden: Innerhalb des Schleifenkörpers der äußeren Schleife befindet sich wiederum eine Schleife, sie liegt innen, oder unter der äußeren Schleife. Jede Schleife kann in eine rekursive oder sogar endrekursive Form umgewandelt werden. Zur Beschleunigung des Programmablaufs werden Schleifen oft durch den Compiler entrollt.
Eine Schleife wird schrittweise wiederholt (iterativ) verarbeitet:
Referenzfehler: <ref>
-Tags existieren für die Gruppe Anm, jedoch wurde kein dazugehöriges <references group="Anm" />
-Tag gefunden.