This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Control Computations and the Design of Loop Control Structures
March 1978 (vol. 4 no. 2)
pp. 81-89
T.W. Pratt, Department of Applied Mathematics and Computer Science, University of Virginia
The control computation for a loop in a program is that part of the program concerned with the initialization, incrementation, and testing of the variables that determine the flow of control into, through, and out of the loop. The elements of loop control computations are idenified and their role in structuring our understanding of loops is analyzed. It is argued, through examples drawn from a Pascal compiler, that the intelligibility of a loop is closely tied to the accessibility and intelligibility of the loop control computation. It is further argued, from an analysis of all the loops in this compiler, that most loop control computations fail in a few standard patterns, mostly concerned with the sequential processing of elements of data structures. In light of these results, common loop control statements are critiqued. It appears that better loop control structures than the while, repeat-until, and similar statement structures are possible and desirable, and some proposals for better structures are given.
Index Terms:
proofs of programs, Control computation, control structures, progm design, programing languages
Citation:
T.W. Pratt, "Control Computations and the Design of Loop Control Structures," IEEE Transactions on Software Engineering, vol. 4, no. 2, pp. 81-89, March 1978, doi:10.1109/TSE.1978.231478
Usage of this product signifies your acceptance of the Terms of Use.