By Topic

A General, Verifiable Iterative Control Structure

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

1 Author(s)
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.

Published in:

IEEE Transactions on Software Engineering  (Volume:SE-3 ,  Issue: 2 )