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

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

Download
Es wurde kein Volltext hochgeladen. Nur Publikationsnachweis!
Konferenzbeitrag | Veröffentlicht | Englisch
Abstract / Bemerkung
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.
Erscheinungsjahr
Titel des Konferenzbandes
MATHEMATICS OF PROGRAM CONSTRUCTION
Band
2386
Seite
1-20
ISSN
PUB-ID

Zitieren

Giegerich R, Steffen P. Implementing algebraic dynamic programming in the functional and the imperative programming paradigm. In: MATHEMATICS OF PROGRAM CONSTRUCTION. Lecture Notes in Computer Science. 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, Lecture Notes in Computer Science, 2386, 1-20. SPRINGER-VERLAG BERLIN.
Giegerich, R., and Steffen, P. (2002). “Implementing algebraic dynamic programming in the functional and the imperative programming paradigm” in MATHEMATICS OF PROGRAM CONSTRUCTION Lecture Notes in Computer Science, 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. Lecture Notes in Computer Science. 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, Lecture Notes in Computer Science, 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. Lecture Notes in Computer Science. 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. Lecture Notes in Computer Science. 1-20.