Inproceedings,
Equivalence checking of arithmetic expressions using fast evaluation.
M. Ghodrat, T. Givargis, and A. Nicolau.CASES, page 147-156. ACM, (2005)
Meta data
- BibTeX key
- conf/cases/GhodratGN05
- entry type
- inproceedings
- booktitle
- CASES
- year
- 2005
- pages
- 147-156
- publisher
- ACM
- crossref
- conf/cases/2005
- ee
- https://doi.org/10.1145/1086297.1086317
- isbn
- 1-59593-149-X
- url
- http://dblp.uni-trier.de/db/conf/cases/cases2005.html#GhodratGN05
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/cases/GhodratGN05
%A Ghodrat, Mohammad Ali
%A Givargis, Tony
%A Nicolau, Alexandru
%B CASES
%D 2005
%E Conte, Thomas M.
%E Faraboschi, Paolo
%E Mangione-Smith, William H.
%E Najjar, Walid A.
%I ACM
%K dblp
%P 147-156
%T Equivalence checking of arithmetic expressions using fast evaluation.
%U http://dblp.uni-trier.de/db/conf/cases/cases2005.html#GhodratGN05
%@ 1-59593-149-X
@inproceedings{conf/cases/GhodratGN05,
added-at = {2018-11-06T00:00:00.000+0100},
author = {Ghodrat, Mohammad Ali and Givargis, Tony and Nicolau, Alexandru},
biburl = {https://www.bibsonomy.org/bibtex/29e5592b60406a55da23335d3f8499719/dblp},
booktitle = {CASES},
crossref = {conf/cases/2005},
editor = {Conte, Thomas M. and Faraboschi, Paolo and Mangione-Smith, William H. and Najjar, Walid A.},
ee = {https://doi.org/10.1145/1086297.1086317},
interhash = {8075dcf30435fe9513e044d285bc1f72},
intrahash = {9e5592b60406a55da23335d3f8499719},
isbn = {1-59593-149-X},
keywords = {dblp},
pages = {147-156},
publisher = {ACM},
timestamp = {2018-11-07T16:31:16.000+0100},
title = {Equivalence checking of arithmetic expressions using fast evaluation.},
url = {http://dblp.uni-trier.de/db/conf/cases/cases2005.html#GhodratGN05},
year = 2005
}