Bellman's GAP: a declarative language for dynamic programming.

Georg Sauthoff, Stefan Janssen, Robert Giegerich

Browse the full PPDP paper archive.