Peleg, Hila; Itzhaky, Shachar; Shoham, Sharon; Yahav, Eran Programming by predicates: a formal model for interactive synthesis. (English) Zbl 1435.68067 Acta Inf. 57, No. 1-2, 165-193 (2020). MSC: 68N30 68Q60 PDFBibTeX XMLCite \textit{H. Peleg} et al., Acta Inf. 57, No. 1--2, 165--193 (2020; Zbl 1435.68067) Full Text: DOI
Peleg, Hila; Shoham, Sharon; Yahav, Eran; Yang, Hongseok Symbolic automata for representing big code. (English) Zbl 1344.68128 Acta Inf. 53, No. 4, 327-356 (2016). MSC: 68Q45 68N30 68Q60 PDFBibTeX XMLCite \textit{H. Peleg} et al., Acta Inf. 53, No. 4, 327--356 (2016; Zbl 1344.68128) Full Text: DOI Link