"Relating complexity and precision in control flow analysis."

David Van Horn, Harry G. Mairson (2007)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics