Inferring Program Extensions from Traces

Roman Manevich, Sharon Shoham. Inferring Program Extensions from Traces. In Olgierd Unold, Witold Dyrka, Wojciech Wieczorek, editors, Proceedings of the 14th International Conference on Grammatical Inference, ICGI 2018, Wrocław, Poland, September 5-7, 2018. Volume 93 of Proceedings of Machine Learning Research, pages 139-154, PMLR, 2018. [doi]

Abstract

Abstract is missing.