PietrzakCPH08'

BibTeX

@inproceedings{DBLP:conf/pepm/PietrzakCPH08,
  author    = {Pawel Pietrzak and
               Jes{\'u}s Correas and
               Germ{\'a}n Puebla and
               Manuel V. Hermenegildo},
  title     = {A practical type analysis for verification of modular prolog
               programs},
  booktitle = {PEPM},
  year      = {2008},
  pages     = {61-70},
  ee        = {http://doi.acm.org/10.1145/1328408.1328418},
  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}
}