@inproceedings{conf/popl/YiH93,
  added-at = {2010-01-28T00:00:00.000+0100},
  author = {Yi, Kwangkeun and III, Williams Ludwell Harrison},
  biburl = {http://www.bibsonomy.org/bibtex/2f37e654390aeb72719e26c91d7fc8d39/dblp},
  booktitle = {POPL},
  date = {2010-01-28},
  description = {dblp},
  ee = {http://doi.acm.org/10.1145/158511.158642},
  interhash = {7ca5e924eba68b98b7cbe636c6a05f5b},
  intrahash = {f37e654390aeb72719e26c91d7fc8d39},
  keywords = {dblp},
  pages = {246-259},
  timestamp = {2010-01-28T00:00:00.000+0100},
  title = {Automatic Generation and Management of Interprocedural Program Analyses.},
  url = {http://dblp.uni-trier.de/db/conf/popl/popl93.html#YiH93},
  year = 1993
}