@article{Chaudhuri:2010:CAP:1707801.1706308,
    Address = {New York, NY, USA},
    Author = {Chaudhuri, Swarat and Gulwani, Sumit and Lublinerman, Roberto},
    File = {Continuity analysis of programs - Chaudhuri, Gulwani, Lublinerman (0) (0) - a - a - g.pdf},
    ISSN = {0362-1340},
    Journal = {SIGPLAN Not.},
    Keywords = {program analysis},
    Month = {January},
    Number = {1},
    Pages = {57--70},
    Publisher = {ACM},
    Title = {Continuity analysis of programs},
    URL = {http://doi.acm.org/10.1145/1707801.1706308},
    Volume = {45},
    Year = {2010},
    acmid = {1706308},
    bdsk-url-1 = {http://doi.acm.org/10.1145/1707801.1706308},
    bdsk-url-2 = {http://dx.doi.org/10.1145/1707801.1706308},
    date-added = {2013-01-30 17:05:36 +0000},
    date-modified = {2013-01-30 17:07:18 +0000},
    issue_date = {January 2010},
    numpages = {14},
    doi = {10.1145/1707801.1706308}
}

@article{Chaudhuri:2010:CAP:1707801.1706308, Address = {New York, NY, USA}, Author = {Chaudhuri, Swarat and Gulwani, Sumit and Lublinerman, Roberto}, File = {Continuity analysis of programs - Chaudhuri, Gulwani, Lublinerman (0) (0) - a - a - g.pdf}, ISSN = {0362-1340}, Journal = {SIGPLAN Not.}, Keywords = {program analysis}, Month = {January}, Number = {1}, Pages = {57--70}, Publisher = {ACM}, Title = {Continuity analysis of programs}, URL = {http://doi.acm.org/10.1145/1707801.1706308}, Volume = {45}, Year = {2010}, acmid = {1706308}, bdsk-url-1 = {http://doi.acm.org/10.1145/1707801.1706308}, bdsk-url-2 = {http://dx.doi.org/10.1145/1707801.1706308}, date-added = {2013-01-30 17:05:36 +0000}, date-modified = {2013-01-30 17:07:18 +0000}, issue_date = {January 2010}, numpages = {14}, doi = {10.1145/1707801.1706308} }