janhaag/PSE2011 — Issue #16: wp for infinite recursions
Author: danielbruns
Created: 2012-02-15 14:15:55+00:00
State: open

Try to prove the following program. After a few miliseconds you will encounter the JVM's stack overflow.
int foo (int x) { return foo(x+1); }
main(){ int x = foo(0); }