> First, I've never heard of program synthesis, and it seems like an interesting topic. Could you point me to some resources so I can learn more about it? Look

> First, I've never heard of program synthesis, and it seems like an interesting topic. Could you point me to some resources so I can learn more about it? Look up the work of Cordell Green. He invented the idea and built a company around it. https://www.kestrel.edu/people/green/ https://www.kestrel.edu/people/green/