Abstract Interpretation of Java Bytecode in Sturdy.

Stefan Marx, Sebastian Erdweg

Browse the full FTfJP paper archive.