Types as abstract interpretations, invited paper (1997)

by Patrick Cousot , École Normale Supérieure
Venue:In 24 th POPL
Citations:38 - 11 self