Modular set-based analysis from contracts (2006)

by Philippe Meunier, Robert Bruce Findler, Matthias Felleisen
Venue:In Proceedings of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages