Complete functional synthesis.

Viktor Kuncak Mikaël Mayer Ruzica Piskac Philippe Suter

Published in: PLDI (2010)

Keyphrases

image processing
cooperative
expert systems
program synthesis
data sets
data mining
genetic algorithm
e learning
special case