© 1986 by British Computer Society
The Semantics of New While Loop*

Department of Information Science, University of Ibaraki, Hitachi, 316 Japan
A new control structure called new while-loop, abbreviated nwhile is introduced. The meaning of nwhile B do S is that if B is False S is not executed. If B is true, S is executed repeatedly while B is true. If B becomes false anywhere inside S, the computer goes out of loop. An example of program for the new control structure is given.
Although the nwhile structure can be given using loop and exit statements in ADA, the programmer does not have to worry where to put exit statements in the proposed nwhile loop.
Received June 1984.
* Part of this work was done while the author was on leave at the Department of Computer and Information Services, University of Alabama in Birmingham, Birmingham, Alabama, U.S.A.
Department of Information Science, University of Ibaraki, Hitachi, 316 Japan