Dynamic Programming via Static Incrementalization
Higher-Order and Symbolic Computation
Dynamic Programming via Static Incrementalization
ESOP '99 Proceedings of the 8th European Symposium on Programming Languages and Systems
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
A discipline of dynamic programming over sequence data
Science of Computer Programming - Methods of software design: Techniques and applications
Maximum segment sum is back: deriving algorithms for two segment problems with bounded lengths
PEPM '08 Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Hi-index | 0.00 |