O buclă care se repetă aceeaşi secvenţă de activităţi, atât timp cât unele condiţie este îndeplinită. Spre deosebire de o buclă în timp ce, un face-în timp ce testele de bucla condiţie sale, la sfârşitul a buclei. Acest lucru înseamnă că secvenţa de activităţi întotdeauna se execută cel puţin o dată.