29 citations · 49 across the 9 of their papers we have counts for
Showing 2017 · cs.FLShow all
2 papers · 2 filters
cs.FL2017
Minimal Synthesis of String To String Functions From Examples
Jad Hamza, Viktor Kunčak
We study the problem of synthesizing string to string transformations from a set of input/output examples. The transformations we consider are expressed using deterministic finite…
cs.FL2017
Polynomial-Time Proactive Synthesis of Tree-to-String Functions from Examples
Mikaël Mayer, Jad Hamza, Viktor Kuncak
Synthesis from examples enables non-expert users to generate programs by specifying examples of their behavior. A domain-specific form of such synthesis has been recently deployed…