Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Nuñez, Adrian Trejo"'
We present a novel bottom-up method for the synthesis of functional recursive programs. While bottom-up synthesis techniques can work better than top-down methods in certain settings, there is no prior technique for synthesizing recursive programs fr
Externí odkaz:
http://arxiv.org/abs/2107.06253