An Equivalence Checking Framework for Array-Intensive Programs.

Kunal Banerjee Chittaranjan A. Mandal Dipankar Sarkar

Published in: ATVA (2017)

Keyphrases

main contribution
databases
search engine
database
real time
genetic algorithm
decision making
expert systems
computational model