A Scheme for the Automatic Inference of Variable TypesMarc A. KaplanJeffrey D. Ullman1980Journal of the ACM