Sequentializing Parameterized Programs

Salvatore La Torre P. Madhusudan Gennaro Parlato

Published in: FIT (2012)

Keyphrases

neural network
feature selection
decision trees
provably correct
prolog programs
machine learning
case study
search algorithm
multiresolution
automatic programming