@inproceedings{Reps:1995:PID:199448.199462,
    Address = {New York, NY, USA},
    Author = {Reps, Thomas and Horwitz, Susan and Sagiv, Mooly},
    BookTitle = {Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
    File = {Precise interprocedural dataflow analysis via graph reachability - Reps, Horwitz, Sagiv (0) (0) - a - a - o.pdf},
    ISBN = {0-89791-692-1},
    Keywords = {procedure summaries},
    Location = {San Francisco, California, USA},
    Pages = {49--61},
    Publisher = {ACM},
    Series = {POPL '95},
    Title = {Precise interprocedural dataflow analysis via graph reachability},
    URL = {http://doi.acm.org/10.1145/199448.199462},
    Year = {1995},
    acmid = {199462},
    bdsk-url-1 = {http://doi.acm.org/10.1145/199448.199462},
    bdsk-url-2 = {http://dx.doi.org/10.1145/199448.199462},
    date-added = {2013-07-15 17:49:50 +0000},
    date-modified = {2013-11-08 00:01:01 +0000},
    numpages = {13},
    doi = {10.1145/199448.199462}
}

@inproceedings{Reps:1995:PID:199448.199462, Address = {New York, NY, USA}, Author = {Reps, Thomas and Horwitz, Susan and Sagiv, Mooly}, BookTitle = {Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages}, File = {Precise interprocedural dataflow analysis via graph reachability - Reps, Horwitz, Sagiv (0) (0) - a - a - o.pdf}, ISBN = {0-89791-692-1}, Keywords = {procedure summaries}, Location = {San Francisco, California, USA}, Pages = {49--61}, Publisher = {ACM}, Series = {POPL '95}, Title = {Precise interprocedural dataflow analysis via graph reachability}, URL = {http://doi.acm.org/10.1145/199448.199462}, Year = {1995}, acmid = {199462}, bdsk-url-1 = {http://doi.acm.org/10.1145/199448.199462}, bdsk-url-2 = {http://dx.doi.org/10.1145/199448.199462}, date-added = {2013-07-15 17:49:50 +0000}, date-modified = {2013-11-08 00:01:01 +0000}, numpages = {13}, doi = {10.1145/199448.199462} }