Generalized Index-Set Splitting
No abstract available.
Related papers
- A Note on Median Split Trees TOPLAS 1980
- Jiffy: a lock-free skip list with batch updates and snapshots PPoPP 2022
- Split Decisions: Explicit Contexts for Substructural Languages CPP 2025
- Input space splitting for OpenCL CC 2016
- A Catenable, Splittable, Transient Sequence Data Structure ICFP 2026
- Stitch: the sound type-indexed type checker (functional pearl) Haskell 2020
- Getting to the point: index sets and parallelism-preserving autodiff for pointful array programming ICFP 2021
- Bubaak-SpLit: Split what you cannot verify (Competition contribution) TACAS 2024