David Van Horn, Harry G. Mairson. Relating complexity and precision in control flow analysis. In Ralf Hinze, Norman Ramsey, editors, Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007, Freiburg, Germany, October 1-3, 2007. pages 85-96, ACM, 2007. [doi]
Abstract is missing.