Programmable program synthesis
From MaRDI portal
Publication:832155
DOI10.1007/978-3-030-81685-8_4zbMath1493.68052MaRDI QIDQ832155
Jinwoo Kim, Loris D'Antoni, Qinheping Hu, Thomas W. Reps
Publication date: 25 March 2022
Full work available at URL: https://doi.org/10.1007/978-3-030-81685-8_4
Uses Software