TVLA: A framework for Kleene based static analysis (2000)

by T Lev-Ami, M Sagiv
Venue:Proc. Static Analysis Symp