@article{Reps:2005:WPS:1115641.1115650,
    Address = {Amsterdam, The Netherlands, The Netherlands},
    Author = {Reps, Thomas and Schwoon, Stefan and Jha, Somesh and Melski, David},
    File = {Weighted pushdown systems and their application to interprocedural dataflow analysis - Reps, Schwoon, Jha, Melski (1) (0) - a - a - s.pdf},
    ISSN = {0167-6423},
    Journal = {Sci. Comput. Program.},
    Keywords = {generalized pushdown reachability, interprocedural dataflow analysis, meet-over-all-paths problem, weighted pushdown system},
    Month = {October},
    Number = {1-2},
    Pages = {206--263},
    Publisher = {Elsevier North-Holland, Inc.},
    Title = {Weighted pushdown systems and their application to interprocedural dataflow analysis},
    URL = {http://dx.doi.org/10.1016/j.scico.2005.02.009},
    Volume = {58},
    Year = {2005},
    acmid = {1115650},
    bdsk-url-1 = {http://dx.doi.org/10.1016/j.scico.2005.02.009},
    date-added = {2013-07-22 16:22:01 +0000},
    date-modified = {2013-07-22 16:22:01 +0000},
    file-2 = {Weighted pushdown systems and their application to interprocedural dataflow analysis - Reps, Schwoon, Jha, Melski (0) (0) - a - a - s.pdf},
    issue_date = {October 2005},
    numpages = {58},
    doi = {10.1016/j.scico.2005.02.009}
}

@article{Reps:2005:WPS:1115641.1115650, Address = {Amsterdam, The Netherlands, The Netherlands}, Author = {Reps, Thomas and Schwoon, Stefan and Jha, Somesh and Melski, David}, File = {Weighted pushdown systems and their application to interprocedural dataflow analysis - Reps, Schwoon, Jha, Melski (1) (0) - a - a - s.pdf}, ISSN = {0167-6423}, Journal = {Sci. Comput. Program.}, Keywords = {generalized pushdown reachability, interprocedural dataflow analysis, meet-over-all-paths problem, weighted pushdown system}, Month = {October}, Number = {1-2}, Pages = {206--263}, Publisher = {Elsevier North-Holland, Inc.}, Title = {Weighted pushdown systems and their application to interprocedural dataflow analysis}, URL = {http://dx.doi.org/10.1016/j.scico.2005.02.009}, Volume = {58}, Year = {2005}, acmid = {1115650}, bdsk-url-1 = {http://dx.doi.org/10.1016/j.scico.2005.02.009}, date-added = {2013-07-22 16:22:01 +0000}, date-modified = {2013-07-22 16:22:01 +0000}, file-2 = {Weighted pushdown systems and their application to interprocedural dataflow analysis - Reps, Schwoon, Jha, Melski (0) (0) - a - a - s.pdf}, issue_date = {October 2005}, numpages = {58}, doi = {10.1016/j.scico.2005.02.009} }