Lifting abstract interpreters to quantified logical domains (0)

by S Gulwani, B McCloskey, A Tiwari
Venue:In POPL: Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages