Equivalence Checking of Array-Intensive Programs.

Chandan Karfa Kunal Banerjee Dipankar Sarkar Chitta Mandal

Published in: ISVLSI (2011)

Keyphrases

search algorithm
database systems
answer sets
high level
logic programming
computer programs
automatic programming
programmable logic