Result Invalidation for Incremental Modular Analyses
No abstract available.
Related papers
- A theory of changes for higher-order languages: incrementalizing λ-calculi by static differentiation PLDI 2014
- Interactive Abstract Interpretation with Demanded Summarization TOPLAS 2024
- Spineless Traversal for Layout Invalidation PLDI 2025
- Incrementalizing lattice-based program analyses in Datalog OOPSLA 2018
- Incrementalization across object abstraction OOPSLA 2005
- Incremental whole-program analysis in Datalog with lattices PLDI 2021
- Discovering Auxiliary Information for Incremental Computation POPL 1996
- Static Detection of Dynamic Memory Errors PLDI 1996