Compile-time function memoization
No abstract available.
Related papers
- Synthesizing Efficient Memoization Algorithms OOPSLA 2023
- Memoization in Type-Directed Partial Evaluation GPCE 2002
- Grisette: Symbolic Compilation as a Functional Programming Library POPL 2023
- Selective memoization POPL 2003
- Contract-based resource verification for higher-order functions with memoization POPL 2017
- A Memoizing Semantics for Functional Logic Languages ESOP 2004
- Performance problems you can fix: a dynamic analysis of memoization opportunities OOPSLA 2015
- Fast partial evaluation of pattern matching in strings TOPLAS 2006