DBLP Record 'conf/pepm/SalamaMTGO09'

BibTeX

@inproceedings{DBLP:conf/pepm/SalamaMTGO09,
  author    = {Cherif Salama and
               Gregory Malecha and
               Walid Taha and
               Jim Grundy and
               John O'Leary},
  title     = {Static consistency checking for verilog wire interconnects:
               using dependent types to check the sanity of verilog descriptions},
  booktitle = {PEPM},
  year      = {2009},
  pages     = {121-130},
  ee        = {http://doi.acm.org/10.1145/1480945.1480963},
  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}
}