David Van Horn Harry G. Mairson Relating complexity and precision in control flow analysis. 85-96 2007 conf/icfp/2007 ICFP http://doi.acm.org/10.1145/1291151.1291166 db/conf/icfp/icfp2007.html#HornM07