@inproceedings{LaTorre:2009:ARP:1542476.1542500,
    Address = {New York, NY, USA},
    Author = {La Torre, Salvatore and Parthasarathy, Madhusudan and Parlato, Gennaro},
    BookTitle = {Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation},
    File = {Analyzing recursive programs using a fixed-point calculus - La Torre, Parthasarathy, Parlato (0) (0) - a - a - g.pdf},
    ISBN = {978-1-60558-392-1},
    Keywords = {getafix},
    Location = {Dublin, Ireland},
    Pages = {211--222},
    Publisher = {ACM},
    Series = {PLDI '09},
    Title = {Analyzing recursive programs using a fixed-point calculus},
    URL = {http://doi.acm.org/10.1145/1542476.1542500},
    Year = {2009},
    acmid = {1542500},
    bdsk-url-1 = {http://doi.acm.org/10.1145/1542476.1542500},
    bdsk-url-2 = {http://dx.doi.org/10.1145/1542476.1542500},
    date-added = {2013-11-08 07:59:33 +0000},
    date-modified = {2013-11-08 07:59:57 +0000},
    numpages = {12},
    doi = {10.1145/1542476.1542500}
}

@inproceedings{LaTorre:2009:ARP:1542476.1542500, Address = {New York, NY, USA}, Author = {La Torre, Salvatore and Parthasarathy, Madhusudan and Parlato, Gennaro}, BookTitle = {Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation}, File = {Analyzing recursive programs using a fixed-point calculus - La Torre, Parthasarathy, Parlato (0) (0) - a - a - g.pdf}, ISBN = {978-1-60558-392-1}, Keywords = {getafix}, Location = {Dublin, Ireland}, Pages = {211--222}, Publisher = {ACM}, Series = {PLDI '09}, Title = {Analyzing recursive programs using a fixed-point calculus}, URL = {http://doi.acm.org/10.1145/1542476.1542500}, Year = {2009}, acmid = {1542500}, bdsk-url-1 = {http://doi.acm.org/10.1145/1542476.1542500}, bdsk-url-2 = {http://dx.doi.org/10.1145/1542476.1542500}, date-added = {2013-11-08 07:59:33 +0000}, date-modified = {2013-11-08 07:59:57 +0000}, numpages = {12}, doi = {10.1145/1542476.1542500} }