A loop with a specified number of repetitions (a FOR loop) is programmed in Pascal using the "for" statement. When this statement is executed, the loop parameter is incremented by one after each execution of the loop body; the loop exit condition is when the parameter exceeds the final value.