1978 Historical Example by Cousot and Halbwachs




A while loop with a conditional incrementation given in Section 5 of their POPL paper. The loop and the test conditions are unknown.