This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
A General, Verifiable Iterative Control Structure
March 1977 (vol. 3 no. 2)
pp. 144-149
J.M. Adams, Department of Computer Science, New Mexico State University
A general iterative control structure with multiple exits and multiple retums to the beginning of the loop is described. The conditions causing these exits or returns must be declared and defined in a prologue to the loop in a manner which is similar to the declaration of variables at the beginning of a block. Also, actions prior to an exit or a return may be specified in an epilogue of the loop. The semantics of the structure are described informally and then formally by means of a Hoare type verification rule. Attributes of the structure and examples of its usage are given in the latter part of the paper.
Index Terms:
verification, Condition declaration, control structures, iteration, structured programming
Citation:
J.M. Adams, "A General, Verifiable Iterative Control Structure," IEEE Transactions on Software Engineering, vol. 3, no. 2, pp. 144-149, March 1977, doi:10.1109/TSE.1977.229905
Usage of this product signifies your acceptance of the Terms of Use.