Flow-Sensitive Control-Flow Analysis in Linear-Log Time

Adams, Michael D.   Indiana University ProQuest Dissertations & Theses,  2011. 3488016.