@inproceedings{VanHorn:2007:RCP:1291151.1291166,
    Address = {New York, NY, USA},
    Author = {Van Horn, David and Mairson, Harry G.},
    BookTitle = {Proceedings of the 12th ACM SIGPLAN international conference on Functional programming},
    File = {Relating complexity and precision in control flow analysis - Van Horn, Mairson (0) (0) - a - a - v.pdf},
    ISBN = {978-1-59593-815-2},
    Keywords = {control-flow analysis},
    Location = {Freiburg, Germany},
    Pages = {85--96},
    Publisher = {ACM},
    Series = {ICFP '07},
    Title = {Relating complexity and precision in control flow analysis},
    URL = {http://doi.acm.org/10.1145/1291151.1291166},
    Year = {2007},
    acmid = {1291166},
    bdsk-url-1 = {http://doi.acm.org/10.1145/1291151.1291166},
    bdsk-url-2 = {http://dx.doi.org/10.1145/1291151.1291166},
    date-added = {2013-06-13 15:26:12 +0000},
    date-modified = {2013-06-13 15:26:48 +0000},
    file-2 = {Relating complexity and precision in control flow analysis - Van Horn, Mairson (1) (0) - a - a - v.pdf},
    numpages = {12},
    doi = {10.1145/1291151.1291166}
}

@inproceedings{VanHorn:2007:RCP:1291151.1291166, Address = {New York, NY, USA}, Author = {Van Horn, David and Mairson, Harry G.}, BookTitle = {Proceedings of the 12th ACM SIGPLAN international conference on Functional programming}, File = {Relating complexity and precision in control flow analysis - Van Horn, Mairson (0) (0) - a - a - v.pdf}, ISBN = {978-1-59593-815-2}, Keywords = {control-flow analysis}, Location = {Freiburg, Germany}, Pages = {85--96}, Publisher = {ACM}, Series = {ICFP '07}, Title = {Relating complexity and precision in control flow analysis}, URL = {http://doi.acm.org/10.1145/1291151.1291166}, Year = {2007}, acmid = {1291166}, bdsk-url-1 = {http://doi.acm.org/10.1145/1291151.1291166}, bdsk-url-2 = {http://dx.doi.org/10.1145/1291151.1291166}, date-added = {2013-06-13 15:26:12 +0000}, date-modified = {2013-06-13 15:26:48 +0000}, file-2 = {Relating complexity and precision in control flow analysis - Van Horn, Mairson (1) (0) - a - a - v.pdf}, numpages = {12}, doi = {10.1145/1291151.1291166} }