3 ms·
His previous post was probably the best overview on program synthesis paradigms (circa 2015): https://homes.cs.washington.edu/~bornholt/post/synthesis-explaine
by arnioxux 8y ago
His previous post was probably the best overview on program synthesis paradigms (circa 2015):
https://homes.cs.washington.edu/~bornholt/post/synthesis-explained.html https://homes.cs.washington.edu/~bornholt/post/synthesis-exp...
It's a much broader overview of the field so read that first if you need an intro!
- apskim 8y agoAnd if you want a deeper dive after that, here's a 100-page survey of all the techniques, principles, and applications of program synthesis circa 2017: https://www.microsoft.com/en-us/research/publication/program-synthesis/ https://www.microsoft.com/en-us/research/publication/program...