Structuring the synthesis of heap-manipulating programs.

Nadia Polikarpova Ilya Sergey

Published in: Proc. ACM Program. Lang. (2019)

Keyphrases

functional programs
data structure
program synthesis
real world
three dimensional
knowledge base
fixpoint
automatic programming
control program
data sets
information retrieval
database systems
evolutionary algorithm
logic programs
suffix tree
analog circuits