Synthesis through Unification.

Rajeev Alur Pavol Cerný Arjun Radhakrishna

Published in: CoRR (2015)

Keyphrases

higher order
theorem proving
social networks
image processing
functional decomposition
equational theories
database
high quality
trade off
functional programs