Types as abstract interpretations (1997)

by P Cousot
Venue:In Proceedings of POPL '97