Implementing algebraic dynamic programming in the functional and the imperative programming paradigm
Guardado en:
| Publicado en: | IDEAS Working Paper Series from RePEc (2010), p. n/a |
|---|---|
| Autor principal: | |
| Otros Autores: | |
| Publicado: |
Federal Reserve Bank of St. Louis
|
| Materias: | |
| Acceso en línea: | Citation/Abstract Full text outside of ProQuest |
| Etiquetas: |
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| Resumen: | Algebraic dynamic programming is. a new method for developing and reasoning about dynamic programming algorithms. In this approach, so-called yield grammars and evaluation algebras constitute abstract specifications of dynamic programming algorithms. We describe how this theory is put to practice by providing a specification language that can both be embedded in a lazy functional language, and translated into an imperative language. Parts of the analysis required for the latter translation also gives rise to source-to-source transformations that improve the asymptotic efficiency of the functional implementation. The multi-paradigm. system resulting from this approach provides increased programming productivity and effective validation. |
|---|---|
| Fuente: | ABI/INFORM Global |