Program equivalence in linear contexts.

Yuxin Deng Yu Zhang

Published in: Theor. Comput. Sci. (2015)

Keyphrases

knowledge base
machine learning
image processing
search algorithm
neural network
website
test cases
closed form
computer programs
static analysis
linear constraints