Modular set-based analysis from contracts (2006)

by P Meunier, R B Findler, M Felleisen
Venue:In Conference Record of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL ’06