Synthesis modulo recursive functions.

Etienne Kneuss Ivan Kuraj Viktor Kuncak Philippe Suter

Published in: OOPSLA (2013)

Keyphrases

recursive functions
inductive inference
program synthesis
real time
e learning
texture synthesis
neural network
genetic algorithm
theoretical analysis