Dynamic Programming via Static Incrementalization
No abstract available.
Related papers
- Statically Validating Must Summaries for Incremental Compositional Dynamic Test Generation SAS 2011
- Incremental Dynamic Semantics for Language-Based Programming Environments TOPLAS 1989
- Optimizing Method Search with Lookup Caches and Incremental Coloring OOPSLA 1992
- Gradual verification of recursive heap data structures OOPSLA 2020
- Finding your cronies: static analysis for dynamic object colocation OOPSLA 2004
- Deriving with Derivatives: Optimizing Incremental Fixpoints for Higher-Order Flow Analysis ICFP 2024
- Gradually typing strategies SLE 2020
- Incremental Computation of Static Single Assignment Form CC 1996