Comparison of Abstract Interpretations.

Agostino Cortesi, Gilberto Fil, William H. Winsborough

Browse the full ICALP paper archive.