@article{Seidl2000123,
    Author = {Seidl, Helmut and Fecht, Christian},
    File = {Interprocedural analyses a comparison - Seidl, Fecht (0) (0) - a - a - d.pdf},
    ISSN = {0743-1066},
    Journal = {The Journal of Logic Programming},
    Keywords = {interprocedural dataflow analysis},
    Number = {2},
    Pages = {123 - 156},
    Title = {Interprocedural analyses: a comparison},
    URL = {http://www.sciencedirect.com/science/article/pii/S0743106699000588},
    Volume = {43},
    Year = {2000},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0743106699000588},
    bdsk-url-2 = {http://dx.doi.org/10.1016/S0743-1066(99)00058-8},
    date-added = {2013-11-08 12:47:13 +0000},
    date-modified = {2013-11-08 12:51:09 +0000},
    file-2 = {Interprocedural analyses a comparison - Seidl, Fecht (2) (0) - a - a - d.pdf},
    doi = {10.1016/S0743-1066(99)00058-8}
}

@article{Seidl2000123, Author = {Seidl, Helmut and Fecht, Christian}, File = {Interprocedural analyses a comparison - Seidl, Fecht (0) (0) - a - a - d.pdf}, ISSN = {0743-1066}, Journal = {The Journal of Logic Programming}, Keywords = {interprocedural dataflow analysis}, Number = {2}, Pages = {123 - 156}, Title = {Interprocedural analyses: a comparison}, URL = {http://www.sciencedirect.com/science/article/pii/S0743106699000588}, Volume = {43}, Year = {2000}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0743106699000588}, bdsk-url-2 = {http://dx.doi.org/10.1016/S0743-1066(99)00058-8}, date-added = {2013-11-08 12:47:13 +0000}, date-modified = {2013-11-08 12:51:09 +0000}, file-2 = {Interprocedural analyses a comparison - Seidl, Fecht (2) (0) - a - a - d.pdf}, doi = {10.1016/S0743-1066(99)00058-8} }