Lifting abstract interpreters to quantified logical domains.

Sumit Gulwani, Bill McCloskey, Ashish Tiwari

Browse the full POPL paper archive.