Polynomial-Time Proactive Synthesis of Tree-to-String Functions from Examples.

Mikaël Mayer Jad Hamza Viktor Kuncak

Published in: CoRR (2017)

Keyphrases

suffix tree
special case
tree structure
computational complexity
data structure
binary tree
tree languages
worst case
xml documents
np complete
context aware
pattern matching
approximation algorithms
texture synthesis
suffix array
functional programs