Synthesis Through Unification.

Rajeev Alur Pavol Cerný Arjun Radhakrishna

Published in: CAV (2) (2015)

Keyphrases

higher order
program synthesis
real world
machine learning
e learning
image processing
search algorithm
texture synthesis
analog circuits
functional programs