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

Mikaël Mayer Jad Hamza Viktor Kuncak

Published in: Dagstuhl Artifacts Ser. (2017)

Keyphrases

tree structure
data structure
index structure
suffix tree
training examples
edit distance
classification trees
tree construction
basis functions
string matching
binary strings