Types as abstract interpretations (Invited Paper (1997)

by P Cousot
Venue:In Proc. ACM POPL’97