Challenges in the compilation of a domain specific language for dynamic programming.

Robert Giegerich, Peter Steffen

Browse the full SAC paper archive.