A Problem Reduction Approach to Program Synthesis

  title={A Problem Reduction Approach to Program Synthesis},
  author={Douglas R. Smith},
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 the… CONTINUE READING

From This Paper

Topics from this paper.
9 Citations
8 References
Similar Papers


Publications referenced by this paper.
Showing 1-8 of 8 references

On Program Synthesis

  • D. R. Barstow
  • Artificial Intelligence
  • 1978
1 Excerpt

On Automating Struc­ tured Programming

  • N. Dershowitz, Z. Manna
  • Proc. Colloques IRIA on Proving and Improving…
  • 1975
1 Excerpt

Similar Papers

Loading similar papers…