The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.02 - March (1977 vol.3)
pp: 144-149
J.M. Adams , Department of Computer Science, New Mexico State University
ABSTRACT
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
20 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool