On Program Equivalence with Reductions.

Guillaume Iooss Christophe Alias Sanjay V. Rajopadhye

Published in: SAS (2014)

Keyphrases

computer programs
efficient computation
data sets
search engine
feature selection
decision trees
programming language
programming environment
program synthesis