A Comparison of Multilevel break and next Statements

A study IS made of the descriptive power of if then else statements and repeat (do forever) statements, multilevel break statements (which cause a jump out of an enclosing repeat), and multilevel next statements (which cause a jump to an iteration of an enclosing repeat) Ledgard and Marcotty conjectured that multilevel next statements could be removed without increasing the number of levels of break statements to obtain another program with operations executed in the same order The conjecture is shown to be true for one level of next statement but false for next statements with level greater than l It is also shown that next statements are weaker than break statements in the sense that n levels of next statements can be transformed into 2n levels of break statement, while there is no functionf such that n levels of break can be replaced by f(n) levels of next