Implementing Algebraic Dynamic Programming in the Functional and the Imperative Programming Paradigm.

Robert Giegerich Peter Steffen

Published in: MPC (2002)

Keyphrases

dynamic programming
functional language
programming language
programming paradigms
declarative programming
optimal control

stereo matching
programming environment
markov decision processes
dp matching
functional analysis
higher order

efficient implementation
state space
computer programs
functional programming
lower bound
software engineering

programming environments
algebraic structure
object oriented programming
neural network
greedy algorithm
linear programming