(computer science) executing the same set of instructions a given number of times or until a specified result is obtained