Relating complexity and precision in control flow analysis.

David Van Horn, Harry G. Mairson

Browse the full ICFP paper archive.