Return to Article Details Binding Time Analysis: Abstract Interpretation vs. Type Inference Download Download PDF