@inproceedings{Pu2011SynthesisOF, title={Synthesis of first-order dynamic programming algorithms}, author={Yewen Pu and Rastislav Bod{\'i}k and Saurabh Srivastava}, booktitle={OOPSLA}, year={2011} }

- Published 2011 in OOPSLA
DOI:10.1145/2048066.2048076

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

### Presentations referencing similar topics