Types as abstract interpretations (1997)

by Patrick Cousot
Venue:In 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL ’97