A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is
A Problem Reduction Approach to Program Synthesis
International Joint Conference on Artificial Intelligence
Program synthesis is the transformation of a specification of a user's problem into a computer program. A problem reduction approach to program synthesis is presented. During synthesis the user's problem is decom posed in a top-down manner into a hierarchy of subprob lems. with directly solveable subproblems at the bottom. Solving these subproblems results in the bottom-up com position of a program whose structure reflects the subproblem hierarchy. The program is guaranteed to satisfy thedblp:conf/ijcai/Smith83 fatcat:mwvgrxmnivdejk4ctd6u6miuou