Dana N. Xu. Hybrid contract checking via symbolic simplification. In Oleg Kiselyov, Simon Thompson, editors, Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation, PEPM 2012, Philadelphia, Pennsylvania, USA, January 23-24, 2012. pages 107-116, ACM, 2012. [doi]
Abstract is missing.