DBLP Record 'conf/pepm/CifuentesKLS09'

BibTeX

@inproceedings{DBLP:conf/pepm/CifuentesKLS09,
  author    = {Cristina Cifuentes and
               Nathan Keynes and
               Lian Li and
               Bernhard Scholz},
  title     = {Program analysis for bug detection using parfait: invited
               talk},
  booktitle = {PEPM},
  year      = {2009},
  pages     = {7-8},
  ee        = {http://doi.acm.org/10.1145/1480945.1480947},
  crossref  = {DBLP:conf/pepm/2009},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/pepm/2009,
  editor    = {Germ{\'a}n Puebla and
               Germ{\'a}n Vidal},
  title     = {Proceedings of the 2009 ACM SIGPLAN Symposium on Partial
               Evaluation and Semantics-based Program Manipulation, PEPM
               2009, Savannah, GA, USA, January 19-20, 2009},
  booktitle = {PEPM},
  publisher = {ACM},
  year      = {2009},
  isbn      = {978-1-60558-327-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}