https://www.sri.com/publication/artificial-intelligence-pubs/towards-automatic-program-synthesis/
Towards Automatic Program Synthesis - SRI
Feb 16, 2023 - An elementary outline of the theorem-proving approach to automatic program synthesis is given, without dwelling on technical details.
automatic program synthesistowardssri
https://www.sri.com/publication/artificial-intelligence-pubs/proposal-for-research-on-automatic-program-synthesis-systems/
Proposal for Research on Automatic Program Synthesis Systems - SRI
Feb 17, 2023 - Develop a general plan to conduct sets of experiments which utilize results of the study to date.
automatic program synthesisfor researchproposalsystemssri