59
Shattered Control Flow
•ZPL logically executes one instruction at a time
•There is a natural generalization in which statements are controlled by arrays rather than scalars
•if A < 0 then A := -A;  -- define absolute
•Convenient for iterations
–Let N and Nfact be defined [1..n]
•Nfact := 1;
•for i := 2 to N do
•   Nfact := Nfact * i;  -- Compute N!
•end;
•