Proactive Synthesis of Recursive Tree-to-String Functions from Examples.

Mikaël Mayer Jad Hamza Viktor Kuncak

Published in: ECOOP (2017)

Keyphrases

pattern matching
suffix tree
data structure
training examples
binary tree
tree structure
tree search
database
decision trees
active learning
query language
texture synthesis
string matching
tree structures
tree construction
recursive algorithm