DBLP Record 'conf/pepm/SaabasU08'

BibTeX

@inproceedings{DBLP:conf/pepm/SaabasU08,
  author    = {Ando Saabas and
               Tarmo Uustalu},
  title     = {Proof optimization for partial redundancy elimination},
  booktitle = {PEPM},
  year      = {2008},
  pages     = {91-101},
  ee        = {http://doi.acm.org/10.1145/1328408.1328422},
  crossref  = {DBLP:conf/pepm/2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/pepm/2008,
  editor    = {Robert Gl{\"u}ck and
               Oege de Moor},
  title     = {Proceedings of the 2008 ACM SIGPLAN Symposium on Partial
               Evaluation and Semantics-based Program Manipulation, PEPM
               2008, San Francisco, California, USA, January 7-8, 2008},
  booktitle = {PEPM},
  publisher = {ACM},
  year      = {2008},
  isbn      = {978-1-59593-977-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}