Logical interpretation: Static program analysis using theorem proving (0)

by A Tiwari, S Gulwani
Venue:Automated Deduction – CADE-21, LNCS 4603, 147–166. Springer, 2007. Domains and Decision Procedures 473