Logical Interpretation: Static Program Analysis Using Theorem Proving.

Ashish Tiwari, Sumit Gulwani

Browse the full CADE paper archive.