@article{Midtgaard:2009:CAF:1631687.1596592,
    Address = {New York, NY, USA},
    Author = {Midtgaard, Jan and Jensen, Thomas P.},
    File = {Control-flow analysis of function calls and returns by abstract interpretation - Midtgaard, Jensen (0) (0) - a - a - w.pdf},
    ISSN = {0362-1340},
    Journal = {SIGPLAN Not.},
    Keywords = {abstract interpretation, constraint-based analysis, continuation-passing style, control-flow analysis, direct style, tail-call optimization},
    Month = {August},
    Number = {9},
    Pages = {287--298},
    Publisher = {ACM},
    Title = {Control-flow analysis of function calls and returns by abstract interpretation},
    URL = {http://doi.acm.org/10.1145/1631687.1596592},
    Volume = {44},
    Year = {2009},
    acmid = {1596592},
    bdsk-url-1 = {http://vimeo.com/6626432},
    bdsk-url-2 = {http://doi.acm.org/10.1145/1631687.1596592},
    bdsk-url-3 = {http://dx.doi.org/10.1145/1631687.1596592},
    date-added = {2013-07-01 14:20:34 +0000},
    date-modified = {2013-09-06 09:29:50 +0000},
    file-2 = {Control-flow analysis of function calls and returns by abstract interpretation - Midtgaard, Jensen (1) (0) - a - a - w.pdf},
    issue_date = {September 2009},
    numpages = {12},
    doi = {10.1145/1631687.1596592}
}

@article{Midtgaard:2009:CAF:1631687.1596592, Address = {New York, NY, USA}, Author = {Midtgaard, Jan and Jensen, Thomas P.}, File = {Control-flow analysis of function calls and returns by abstract interpretation - Midtgaard, Jensen (0) (0) - a - a - w.pdf}, ISSN = {0362-1340}, Journal = {SIGPLAN Not.}, Keywords = {abstract interpretation, constraint-based analysis, continuation-passing style, control-flow analysis, direct style, tail-call optimization}, Month = {August}, Number = {9}, Pages = {287--298}, Publisher = {ACM}, Title = {Control-flow analysis of function calls and returns by abstract interpretation}, URL = {http://doi.acm.org/10.1145/1631687.1596592}, Volume = {44}, Year = {2009}, acmid = {1596592}, bdsk-url-1 = {http://vimeo.com/6626432}, bdsk-url-2 = {http://doi.acm.org/10.1145/1631687.1596592}, bdsk-url-3 = {http://dx.doi.org/10.1145/1631687.1596592}, date-added = {2013-07-01 14:20:34 +0000}, date-modified = {2013-09-06 09:29:50 +0000}, file-2 = {Control-flow analysis of function calls and returns by abstract interpretation - Midtgaard, Jensen (1) (0) - a - a - w.pdf}, issue_date = {September 2009}, numpages = {12}, doi = {10.1145/1631687.1596592} }