"Proactive Synthesis of Recursive Tree-to-String Functions from Examples."

Mikaël Mayer, Jad Hamza, Viktor Kuncak (2017)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics