ESP: Path-Sensitive Program Verification in Polynomial Time.

Manuvir Das Sorin Lerner Mark Seigle ESP: Path-Sensitive Program Verification in Polynomial Time. 57-68 2002 conf/pldi/2002 PLDI http://doi.acm.org/10.1145/512529.512538 db/conf/pldi/pldi2002.html#DasLS02