TVLA: A system for implementing static analyses (2000)

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