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…