[apskim]

And 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...