GhodratGN05'

BibTeX

@inproceedings{DBLP:conf/cases/GhodratGN05,
  author    = {Mohammad Ali Ghodrat and
               Tony Givargis and
               Alexandru Nicolau},
  title     = {Equivalence checking of arithmetic expressions using fast
               evaluation},
  booktitle = {CASES},
  year      = {2005},
  pages     = {147-156},
  ee        = {http://doi.acm.org/10.1145/1086297.1086317},
  crossref  = {DBLP:conf/cases/2005},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/cases/2005,
  editor    = {Thomas M. Conte and
               Paolo Faraboschi and
               William H. Mangione-Smith and
               Walid A. Najjar},
  title     = {Proceedings of the 2005 International Conference on Compilers,
               Architecture, and Synthesis for Embedded Systems, CASES
               2005, San Francisco, California, USA, September 24-27, 2005},
  booktitle = {CASES},
  publisher = {ACM},
  year      = {2005},
  isbn      = {1-59593-149-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}