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
No fulltext has been uploaded. References only!
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. 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.
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
ISBN Search