@article{Reps:2016:NPA:2914770.2837659,
    Address = {New York, NY, USA},
    Author = {Reps, Thomas and Turetsky, Emma and Prabhu, Prathmesh},
    File = {p663-reps (0) - a - a - s.pdf},
    ISSN = {0362-1340},
    Journal = {SIGPLAN Not.},
    Keywords = {Newton\&\\#039;s method, interprocedural program analysis, polynomial fixed-point equation, regular expression, semiring, tensor product},
    Month = {January},
    Number = {1},
    Pages = {663--677},
    Publisher = {ACM},
    Title = {Newtonian Program Analysis via Tensor Product},
    URL = {http://doi.acm.org/10.1145/2914770.2837659},
    Volume = {51},
    Year = {2016},
    acmid = {2837659},
    bdsk-url-1 = {http://doi.acm.org/10.1145/2914770.2837659},
    bdsk-url-2 = {https://doi.org/10.1145/2914770.2837659},
    date-added = {2018-07-20 09:13:34 +0000},
    date-modified = {2018-07-20 09:13:34 +0000},
    issue_date = {January 2016},
    numpages = {15},
    doi = {10.1145/2914770.2837659}
}

@article{Reps:2016:NPA:2914770.2837659, Address = {New York, NY, USA}, Author = {Reps, Thomas and Turetsky, Emma and Prabhu, Prathmesh}, File = {p663-reps (0) - a - a - s.pdf}, ISSN = {0362-1340}, Journal = {SIGPLAN Not.}, Keywords = {Newton\&\#039;s method, interprocedural program analysis, polynomial fixed-point equation, regular expression, semiring, tensor product}, Month = {January}, Number = {1}, Pages = {663--677}, Publisher = {ACM}, Title = {Newtonian Program Analysis via Tensor Product}, URL = {http://doi.acm.org/10.1145/2914770.2837659}, Volume = {51}, Year = {2016}, acmid = {2837659}, bdsk-url-1 = {http://doi.acm.org/10.1145/2914770.2837659}, bdsk-url-2 = {https://doi.org/10.1145/2914770.2837659}, date-added = {2018-07-20 09:13:34 +0000}, date-modified = {2018-07-20 09:13:34 +0000}, issue_date = {January 2016}, numpages = {15}, doi = {10.1145/2914770.2837659} }