2011): Synthesis of first-order dynamic programming algorithms (0)

by Y Pu, R Bodík, S Srivastava
Venue:In: OOPSLA