@article{Midtgaard201249,
    Author = {Midtgaard, Jan and Jensen, Thomas P.},
    File = {Control-flow analysis of function calls and returns by abstract interpretation - Midtgaard, Jensen (2) (0) - a - a - w.pdf},
    ISSN = {0890-5401},
    Journal = {Information and Computation},
    Keywords = {Abstract interpretation},
    Number = {0},
    Pages = {49 - 76},
    Title = {Control-flow analysis of function calls and returns by abstract interpretation},
    URL = {http://www.sciencedirect.com/science/article/pii/S0890540111001829},
    Volume = {211},
    Year = {2012},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0890540111001829},
    bdsk-url-2 = {http://dx.doi.org/10.1016/j.ic.2011.11.005},
    date-added = {2013-07-01 14:31:25 +0000},
    date-modified = {2013-07-01 14:31:25 +0000},
    doi = {10.1016/j.ic.2011.11.005}
}

@article{Midtgaard201249, Author = {Midtgaard, Jan and Jensen, Thomas P.}, File = {Control-flow analysis of function calls and returns by abstract interpretation - Midtgaard, Jensen (2) (0) - a - a - w.pdf}, ISSN = {0890-5401}, Journal = {Information and Computation}, Keywords = {Abstract interpretation}, Number = {0}, Pages = {49 - 76}, Title = {Control-flow analysis of function calls and returns by abstract interpretation}, URL = {http://www.sciencedirect.com/science/article/pii/S0890540111001829}, Volume = {211}, Year = {2012}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0890540111001829}, bdsk-url-2 = {http://dx.doi.org/10.1016/j.ic.2011.11.005}, date-added = {2013-07-01 14:31:25 +0000}, date-modified = {2013-07-01 14:31:25 +0000}, doi = {10.1016/j.ic.2011.11.005} }