Verification of Tree Updates for Optimization
No abstract available.
Related papers
- Automata-Based Verification of Programs with Tree Updates TACAS 2006
- Elimination (a, b)-trees with fast, durable updates PPoPP 2022
- Parallel Dynamic Spatial Indexes PPoPP 2026
- UFO Trees: Practical and Provably-Efficient Parallel Batch-Dynamic Trees PPoPP 2026
- CPMA: An Efficient Batch-Parallel Compressed Set Without Pointers PPoPP 2024
- Incremental Attribute Evaluation: A Flexible Algorithm for Lazy Update TOPLAS 1991
- You could have invented Fenwick trees JFP 2025
- Context logic and tree update POPL 2005