Minimal Synthesis of String To String Functions From Examples.

Jad Hamza Viktor Kuncak

Published in: CoRR (2017)

Keyphrases

data structure
string matching
edit distance
regular expressions
pattern matching
hamming distance
binary strings
training examples
suffix tree
context free grammars
database
artificial intelligence
web pages
basis functions
program synthesis
finite alphabet