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

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