1 paper · 1 filter
Igor Engel, Ekaterina Verbitskaia
Relational programming enables program synthesis through a verifier-to-solver approach. An earlier paper introduced a functional conversion that mitigated some of the inherent perf…