Mikaël Mayer, Jad Hamza, Viktor Kuncak
Proactive Synthesis of Recursive Tree-to-String Functions from Examples
ECOOP, 2017.
@inproceedings{ECOOP-2017-MayerHK,
author = "Mikaël Mayer and Jad Hamza and Viktor Kuncak",
booktitle = "{Proceedings of the 31st European Conference on Object-Oriented Programming}",
doi = "10.4230/LIPIcs.ECOOP.2017.19",
isbn = "978-3-95977-035-4",
pages = "30",
publisher = "{Schloss Dagstuhl - Leibniz-Zentrum für Informatik}",
title = "{Proactive Synthesis of Recursive Tree-to-String Functions from Examples}",
year = 2017,
}