Etienne Gagnon, Laurie J. Hendren, Guillaume Marceau. Efficient Inference of Static Types for Java Bytecode. In Jens Palsberg, editor, Static Analysis, 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000, Proceedings. Volume 1824 of Lecture Notes in Computer Science, pages 199-219, Springer, 2000.
Abstract is missing.