цикл "пока-не", цикл с условием завершения. В языках программирования - конструкция, обеспечивающая повторение последовательности действий до тех пор, пока не станет истинно заданное условие, причем условие проверяется после каждого выполнения цикла.
REPEAT-UNTIL LOOP
Англо-русский перевод REPEAT-UNTIL LOOP
English-Russian dictionary of computers . Англо-Русский словарь по компьютерам. 2012