@article{Esparza:2010:NPA:1857914.1857917,
    Address = {New York, NY, USA},
    Author = {Esparza, Javier and Kiefer, Stefan and Luttenberger, Michael},
    File = {10.1.1.375.5753 (0) - a - a - q.pdf},
    ISSN = {0004-5411},
    Journal = {J. ACM},
    Keywords = {Newton's method, interprocedural program analysis, polynomial fixed-point equations, semirings},
    Month = {November},
    Number = {6},
    Pages = {33:1--33:47},
    Publisher = {ACM},
    Title = {Newtonian Program Analysis},
    URL = {http://doi.acm.org/10.1145/1857914.1857917},
    Volume = {57},
    Year = {2010},
    acmid = {1857917},
    articleno = {33},
    bdsk-url-1 = {http://doi.acm.org/10.1145/1857914.1857917},
    bdsk-url-2 = {https://doi.org/10.1145/1857914.1857917},
    date-added = {2018-07-20 09:12:32 +0000},
    date-modified = {2018-07-20 09:12:32 +0000},
    file-2 = {icalp08 (0) - a - a - q.pdf},
    file-3 = {Esparza (1) - a - a - q.pdf},
    issue_date = {October 2010},
    numpages = {47},
    doi = {10.1145/1857914.1857917}
}

@article{Esparza:2010:NPA:1857914.1857917, Address = {New York, NY, USA}, Author = {Esparza, Javier and Kiefer, Stefan and Luttenberger, Michael}, File = {10.1.1.375.5753 (0) - a - a - q.pdf}, ISSN = {0004-5411}, Journal = {J. ACM}, Keywords = {Newton's method, interprocedural program analysis, polynomial fixed-point equations, semirings}, Month = {November}, Number = {6}, Pages = {33:1--33:47}, Publisher = {ACM}, Title = {Newtonian Program Analysis}, URL = {http://doi.acm.org/10.1145/1857914.1857917}, Volume = {57}, Year = {2010}, acmid = {1857917}, articleno = {33}, bdsk-url-1 = {http://doi.acm.org/10.1145/1857914.1857917}, bdsk-url-2 = {https://doi.org/10.1145/1857914.1857917}, date-added = {2018-07-20 09:12:32 +0000}, date-modified = {2018-07-20 09:12:32 +0000}, file-2 = {icalp08 (0) - a - a - q.pdf}, file-3 = {Esparza (1) - a - a - q.pdf}, issue_date = {October 2010}, numpages = {47}, doi = {10.1145/1857914.1857917} }