Static path conditions for Java.

Christian Hammer, Rdiger Schaade, Gregor Snelting

Browse the full PLDI paper archive.