Export Citations
1 Results for: Keyword: reachability and distance oracles
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,846,589 records)|Limit your search to The ACM Full-Text Collection (776,024 records)
Select All
- research-articleNovember 2019
Faster Algorithms for Dynamic Algebraic Queries in Basic RSMs with Constant Treewidth
- Krishnendu Chatterjee,
- Amir Kafshdar Goharshady,
- Prateesh Goyal,
- Rasmus Ibsen-Jensen,
- Andreas Pavlogiannis
ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 41, Issue 4Article No.: 23, Pages 1–46https://doi.org/10.1145/3363525Interprocedural analysis is at the heart of numerous applications in programming languages, such as alias analysis, constant propagation, and so on. Recursive state machines (RSMs) are standard models for interprocedural analysis. We consider a general ...
