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

Giegerich R, Steffen P (2002)
In: MATHEMATICS OF PROGRAM CONSTRUCTION. 2386. SPRINGER-VERLAG BERLIN: 1-20.

Conference Paper | Published | English

No fulltext has been uploaded

Abstract
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.
Publishing Year
ISSN
PUB-ID

Cite this

Giegerich R, Steffen P. Implementing algebraic dynamic programming in the functional and the imperative programming paradigm. In: MATHEMATICS OF PROGRAM CONSTRUCTION. Vol 2386. SPRINGER-VERLAG BERLIN; 2002: 1-20.
Giegerich, R., & Steffen, P. (2002). Implementing algebraic dynamic programming in the functional and the imperative programming paradigm. MATHEMATICS OF PROGRAM CONSTRUCTION, 2386, 1-20.
Giegerich, R., and Steffen, P. (2002). “Implementing algebraic dynamic programming in the functional and the imperative programming paradigm” in MATHEMATICS OF PROGRAM CONSTRUCTION, vol. 2386, (SPRINGER-VERLAG BERLIN), 1-20.
Giegerich, R., & Steffen, P., 2002. Implementing algebraic dynamic programming in the functional and the imperative programming paradigm. In MATHEMATICS OF PROGRAM CONSTRUCTION. no.2386 SPRINGER-VERLAG BERLIN, pp. 1-20.
R. Giegerich and P. Steffen, “Implementing algebraic dynamic programming in the functional and the imperative programming paradigm”, MATHEMATICS OF PROGRAM CONSTRUCTION, vol. 2386, SPRINGER-VERLAG BERLIN, 2002, pp.1-20.
Giegerich, R., Steffen, P.: Implementing algebraic dynamic programming in the functional and the imperative programming paradigm. MATHEMATICS OF PROGRAM CONSTRUCTION. 2386, p. 1-20. SPRINGER-VERLAG BERLIN (2002).
Giegerich, Robert, and Steffen, Peter. “Implementing algebraic dynamic programming in the functional and the imperative programming paradigm”. MATHEMATICS OF PROGRAM CONSTRUCTION. SPRINGER-VERLAG BERLIN, 2002.Vol. 2386. 1-20.
This data publication is cited in the following publications:
This publication cites the following data publications:

Export

0 Marked Publications

Open Data PUB

Web of Science

View record in Web of Science®

Search this title in

Google Scholar