@inproceedings{Jagannathan:1995:UTF:199448.199536,
    Address = {New York, NY, USA},
    Author = {Jagannathan, Suresh and Weeks, Stephen},
    BookTitle = {Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
    File = {A unified treatment of flow analysis in higher-order languages - Jagannathan, Weeks (0) (0) - a - a - p.pdf},
    ISBN = {0-89791-692-1},
    Keywords = {control-flow analysis},
    Location = {San Francisco, California, USA},
    Pages = {393--407},
    Publisher = {ACM},
    Series = {POPL '95},
    Title = {A unified treatment of flow analysis in higher-order languages},
    URL = {http://doi.acm.org/10.1145/199448.199536},
    Year = {1995},
    acmid = {199536},
    bdsk-url-1 = {http://doi.acm.org/10.1145/199448.199536},
    bdsk-url-2 = {http://dx.doi.org/10.1145/199448.199536},
    date-added = {2013-07-09 13:20:21 +0000},
    date-modified = {2013-07-09 13:27:50 +0000},
    numpages = {15},
    doi = {10.1145/199448.199536}
}

@inproceedings{Jagannathan:1995:UTF:199448.199536, Address = {New York, NY, USA}, Author = {Jagannathan, Suresh and Weeks, Stephen}, BookTitle = {Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages}, File = {A unified treatment of flow analysis in higher-order languages - Jagannathan, Weeks (0) (0) - a - a - p.pdf}, ISBN = {0-89791-692-1}, Keywords = {control-flow analysis}, Location = {San Francisco, California, USA}, Pages = {393--407}, Publisher = {ACM}, Series = {POPL '95}, Title = {A unified treatment of flow analysis in higher-order languages}, URL = {http://doi.acm.org/10.1145/199448.199536}, Year = {1995}, acmid = {199536}, bdsk-url-1 = {http://doi.acm.org/10.1145/199448.199536}, bdsk-url-2 = {http://dx.doi.org/10.1145/199448.199536}, date-added = {2013-07-09 13:20:21 +0000}, date-modified = {2013-07-09 13:27:50 +0000}, numpages = {15}, doi = {10.1145/199448.199536} }