@article{Might:2008:ERC:1520009.1520016,
    Address = {New York, NY, USA},
    Author = {Might, Matthew and Shivers, Olin},
    File = {Exploiting reachability and cardinality in higher-order flow analysis - Might, Shivers (0) (0) - a - a - n.pdf},
    ISSN = {0956-7968},
    Journal = {J. Funct. Program.},
    Keywords = {control-flow analysis and readme},
    Month = {September},
    Number = {5-6},
    Pages = {821--864},
    Publisher = {Cambridge University Press},
    Title = {Exploiting reachability and cardinality in higher-order flow analysis},
    URL = {http://dx.doi.org/10.1017/S0956796808006941},
    Volume = {18},
    Year = {2008},
    acmid = {1520016},
    bdsk-url-1 = {http://dx.doi.org/10.1017/S0956796808006941},
    date-added = {2013-07-17 10:40:23 +0000},
    date-modified = {2013-07-18 16:47:50 +0000},
    issue_date = {September 2008},
    numpages = {44},
    doi = {10.1017/S0956796808006941}
}

@article{Might:2008:ERC:1520009.1520016, Address = {New York, NY, USA}, Author = {Might, Matthew and Shivers, Olin}, File = {Exploiting reachability and cardinality in higher-order flow analysis - Might, Shivers (0) (0) - a - a - n.pdf}, ISSN = {0956-7968}, Journal = {J. Funct. Program.}, Keywords = {control-flow analysis and readme}, Month = {September}, Number = {5-6}, Pages = {821--864}, Publisher = {Cambridge University Press}, Title = {Exploiting reachability and cardinality in higher-order flow analysis}, URL = {http://dx.doi.org/10.1017/S0956796808006941}, Volume = {18}, Year = {2008}, acmid = {1520016}, bdsk-url-1 = {http://dx.doi.org/10.1017/S0956796808006941}, date-added = {2013-07-17 10:40:23 +0000}, date-modified = {2013-07-18 16:47:50 +0000}, issue_date = {September 2008}, numpages = {44}, doi = {10.1017/S0956796808006941} }