Synthesis of first-order dynamic programming algorithms.

Yewen Pu, Rastislav Bodk, Saurabh Srivastava

Browse the full OOPSLA paper archive.