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

Mikal Mayer, Jad Hamza, Viktor Kuncak

Browse the full ECOOP paper archive.