Modular set-based analysis from contracts (2006)

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