An Experiment in Type Inference and Verification by Abstract Interpretation.

Roberta Gori, Giorgio Levi

Browse the full VMCAI paper archive.