QuoteRef: hehnEC_1977 ;;203 "Finally the notation while..do.. may be used to abbreviate a recursively defined group." [as condition: action, group- reference.

QuoteRef: schoDV9_1966 ;;7 uses branch pred. (0)....(1)... as case and loop until as repeat

QuoteRef: sammJE_1969 ;;460 loop control by While loop-while-true statement

QuoteRef: kosiPR9_1973 ;;94 LOOP (used a lot) data passed from initial path to output path, on control signal saves and returns done, on feedback input saves and returns done, on output done gives feedback if control was true else passes done to initial path

Quote: replaced ALGOL 60's for statement with while statements and for loops over an arithmetic progression; was too complex [»wirtN6_1966]

QuoteRef: wessBD_1965 ;; :(func args) test again while ::(func, args) done

QuoteRef: wileDS11_1973 ;;35 repetition by Kleene star * i.e., x*== terminated implicitly or by escape operator

QuoteRef: wileDS11_1973 ;;42 s while f:: s.(f exs *)

QuoteRef: storEF_1970 ;;25 *procedure-call is repeat till true while *-pro is repeat till false

QuoteRef: stepPD8_1974 ;;217 CYCLE ... REPEAT for DO BEGIN... END

Quote: repeat a program by specifying an integer repetition factor; use 0/1 for conditionals [»woolJD_1973]

Quote: need a 'repeat Count' loop construct to avoid declaring dummy control variables [»celkJ7_1981]

Quote: hard real-time requires constant-bounded loops per task activation; allows schedulability analysis [»stoyAD7_1993]

Quote: requiring a loop bound caught many design errors and was practical [»andeT_1985]

Quote: eliminate proofs of termination by avoiding loop forever constructs [»andeT_1985]