A Memoizing Semantics for Functional Logic Languages
No abstract available.
Related papers
- A consistent semantics of self-adjusting computation JFP 2013
- Incremental \lambda -Calculus in Cache-Transfer Style - Static Memoization by Program Transformation ESOP 2019
- Compile-time function memoization CC 2017
- Synthesizing Efficient Memoization Algorithms OOPSLA 2023
- Memoization in Type-Directed Partial Evaluation GPCE 2002
- Spy game: verifying a local generic solver in Iris POPL 2020
- Contract-based resource verification for higher-order functions with memoization POPL 2017
- Level-p-complexity of Boolean functions using thinning, memoization, and polynomials JFP 2023