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

Adams, Michael D.   Indiana University ProQuest Dissertations Publishing,  2011. 3488016.