Equivalence checking for compiler transformations in behavioral synthesis.

Zhenkun Yang Kecheng Hao Kai Cong Sandip Ray Fei Xie

Published in: ICCD (2013)

Keyphrases

programming language
program synthesis
general purpose
distributed memory machines
texture synthesis
software systems
case study
human behavior
highly optimized
neural network
data mining
website
software engineering
datalog programs
functional programs