Definite Expression Aliasing Analysis for Java Bytecode.

Durica Nikolic, Fausto Spoto

Browse the full ICTAC paper archive.