Ashish Tiwari. Lifting abstract interpreters to quantified logical domains (2008)

by Sumit Gulwani, Bill McCloskey
Venue:In POPL ’08: Proceedings of the 35th ACM SIGPLAN-SIGACT symposium on Principles of programming languages