Efficient Inference of Static Types for Java Bytecode.

Etienne M. Gagnon, Laurie J. Hendren, Guillaume Marceau

Browse the full SAS paper archive.