Efficient Inference of Static Types for Java Bytecode.

Etienne Gagnon Laurie J. Hendren Guillaume Marceau Efficient Inference of Static Types for Java Bytecode. 199-219 2000 conf/sas/2000 SAS db/conf/sas/sas2000.html#GagnonHM00