Link to Extended Static Checking for Java paper not behind a paywall: http://www.eecs.umich.edu/~bchandra/courses/papers/Flanagan_ESC.pdf http://www.eecs.umich.

Link to Extended Static Checking for Java paper not behind a paywall: http://www.eecs.umich.edu/~bchandra/courses/papers/Flanagan_ESC.pdf http://www.eecs.umich.edu/~bchandra/courses/papers/Flanagan_...