Synthesis of first-order dynamic programming algorithms

  title={Synthesis of first-order dynamic programming algorithms},
  author={Yewen Pu and Rastislav Bod{\'i}k and Saurabh Srivastava},
To solve a problem with a dynamic programming algorithm, one must reformulate the problem such that its solution can be formed from solutions to overlapping subproblems. Because overlapping subproblems may not be apparent in the specification, it is desirable to obtain the algorithm directly from the specification. We describe a semi-automatic synthesizer of linear-time dynamic programming algorithms. The programmer supplies a declarative specification of the problem and the operators that… CONTINUE READING
Highly Cited
This paper has 28 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 14 extracted citations

Functional and Logic Programming

Lecture Notes in Computer Science • 2014


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

On the Theory of Dynamic Programming.

Proceedings of the National Academy of Sciences of the United States of America • 1952
View 25 Excerpts
Highly Influenced