Equivalence checking of arithmetic expressions using fast evaluation.

Mohammad Ali Ghodrat Tony Givargis Alexandru Nicolau

Published in: CASES (2005)

Keyphrases

comparative evaluation
knowledge base
multiscale
data structure
evaluation method
information retrieval
digital libraries
logic programming
floating point
consistency checking
arithmetic operations