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

Mikaël Mayer, Jad Hamza, Viktor Kuncak. Proactive Synthesis of Recursive Tree-to-String Functions from Examples. In Peter Müller, editor, 31st European Conference on Object-Oriented Programming, ECOOP 2017, June 19-23, 2017, Barcelona, Spain. Volume 74 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2017. [doi]

Authors

Mikaël Mayer

This author has not been identified. Look up 'Mikaël Mayer' in Google

Jad Hamza

This author has not been identified. Look up 'Jad Hamza' in Google

Viktor Kuncak

This author has not been identified. Look up 'Viktor Kuncak' in Google