Implementing algebraic dynamic programming in the functional and the imperative programming paradigm

Guardado en:

Detalles Bibliográficos
Publicado en:	IDEAS Working Paper Series from RePEc (2010), p. n/a
Autor principal:	Giegerich, Robert
Otros Autores:	Steffen, Peter
Publicado:	Federal Reserve Bank of St. Louis
Materias:	Dynamic programming Algorithms
Acceso en línea:	Citation/Abstract Full text outside of ProQuest
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

MARC


LEADER	00000nab a2200000uu 4500
001	2082972174
003	UK-CbPIL
035			\|a 2082972174
045	2		\|b d20100101 \|b d20101231
084			\|a 258628 \|2 nlm
100	1		\|a Giegerich, Robert
245	1		\|a Implementing algebraic dynamic programming in the functional and the imperative programming paradigm
260			\|b Federal Reserve Bank of St. Louis \|c 2010
513			\|a Working Paper
520	3		\|a 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.
653			\|a Dynamic programming
653			\|a Algorithms
700	1		\|a Steffen, Peter
773	0		\|t IDEAS Working Paper Series from RePEc \|g (2010), p. n/a
786	0		\|d ProQuest \|t ABI/INFORM Global
856	4	1	\|3 Citation/Abstract \|u https://www.proquest.com/docview/2082972174/abstract/embedded/7BTGNMKEMPT1V9Z2?source=fedsrch
856	4	0	\|3 Full text outside of ProQuest \|u https://ideas.repec.org/p/bie/wpaper/2386.html