Precise Concrete Type Inference for Object-Oriented Languages.

John Plevyak, Andrew A. Chien

Browse the full OOPSLA paper archive.