Types as abstract interpretations, invited paper (1997)

by P Cousot
Venue:In Symposium on Principles of Programming Languages (POPL