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

Giegerich R, Steffen P (2002)
In: MATHEMATICS OF PROGRAM CONSTRUCTION. Boiten E (Ed); Lecture Notes in Computer Science, 2386. Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London ; Milan ; Paris ; Tokyo: SPRINGER-VERLAG BERLIN: 1-20.

Konferenzbeitrag | Veröffentlicht | Englisch
 
Download
Es wurden keine Dateien hochgeladen. Nur Publikationsnachweis!
Herausgeber*in
Boiten, Eerke
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
2002
Titel des Konferenzbandes
MATHEMATICS OF PROGRAM CONSTRUCTION
forms.conference.field.series_title_volume.series_title.label
Lecture Notes in Computer Science
Band
2386
Seite(n)
1-20
ISBN
3-540-43857-2
ISSN
0302-9743
Page URI
https://pub.uni-bielefeld.de/record/1612812

Zitieren

Giegerich R, Steffen P. Implementing algebraic dynamic programming in the functional and the imperative programming paradigm. In: Boiten E, ed. MATHEMATICS OF PROGRAM CONSTRUCTION. Lecture Notes in Computer Science. Vol 2386. Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London ; Milan ; Paris ; Tokyo: SPRINGER-VERLAG BERLIN; 2002: 1-20.
Giegerich, R., & Steffen, P. (2002). Implementing algebraic dynamic programming in the functional and the imperative programming paradigm. In E. Boiten (Ed.), Lecture Notes in Computer Science: Vol. 2386. MATHEMATICS OF PROGRAM CONSTRUCTION (pp. 1-20). Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London ; Milan ; Paris ; Tokyo: 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, Boiten, E. ed. Lecture Notes in Computer Science, vol. 2386, (Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London ; Milan ; Paris ; Tokyo: SPRINGER-VERLAG BERLIN), 1-20.
Giegerich, R., & Steffen, P., 2002. Implementing algebraic dynamic programming in the functional and the imperative programming paradigm. In E. Boiten, ed. MATHEMATICS OF PROGRAM CONSTRUCTION. Lecture Notes in Computer Science. no.2386 Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London ; Milan ; Paris ; Tokyo: 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, E. Boiten, ed., Lecture Notes in Computer Science, vol. 2386, Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London ; Milan ; Paris ; Tokyo: SPRINGER-VERLAG BERLIN, 2002, pp.1-20.
Giegerich, R., Steffen, P.: Implementing algebraic dynamic programming in the functional and the imperative programming paradigm. In: Boiten, E. (ed.) MATHEMATICS OF PROGRAM CONSTRUCTION. Lecture Notes in Computer Science. 2386, p. 1-20. SPRINGER-VERLAG BERLIN, Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London ; Milan ; Paris ; Tokyo (2002).
Giegerich, Robert, and Steffen, Peter. “Implementing algebraic dynamic programming in the functional and the imperative programming paradigm”. MATHEMATICS OF PROGRAM CONSTRUCTION. Ed. Eerke Boiten. Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London ; Milan ; Paris ; Tokyo: SPRINGER-VERLAG BERLIN, 2002.Vol. 2386. Lecture Notes in Computer Science. 1-20.

Export

Markieren/ Markierung löschen
Markierte Publikationen

Open Data PUB

Web of Science

Dieser Datensatz im Web of Science®

Suchen in

Google Scholar
ISBN Suche