4 ms·
You could read "Syntax-Guided Synthesis" by ALUR and al. There is here (http://resources.mpi-inf.mpg.de/departments/rg1/conferences/vtsa17/slides/alur-vtsa-sygu
by Davidbrcz 9y ago
You could read "Syntax-Guided Synthesis" by ALUR and al.
There is here (http://resources.mpi-inf.mpg.de/departments/rg1/conferences/vtsa17/slides/alur-vtsa-sygus.pdf http://resources.mpi-inf.mpg.de/departments/rg1/conferences/...) a presentation he did at a summer school last summer.