State-Space Caching Revisited
Abstract elided by the publisher.
Related papers
- Property caches revisited CC 2019
- Hierarchical Adaptive State Space Caching Based on Level Sampling TACAS 2009
- Polyhedra scanning revisited PLDI 2012
- Revisiting Catamorphisms over Datatypes with Embedded Functions (or, Programs from Outer Space) POPL 1996
- Lag, Drag, Void and Use - Heap Profiling and Space-Efficient Compilation Revisited ICFP 1996
- Revisiting Differential Verification: Equivalence Verification with Confidence TACAS 2025
- Revisiting Stateful Partial-Order Reduction TACAS 2026
- Handles revisited: optimising performance and memory costs in a real-time collector ISMM 2011