Solving Multiple Dataflow Queries Using WPDSs
No abstract available.
Related papers
- Faster Algorithms for Dynamic Algebraic Queries in Basic RSMs with Constant Treewidth TOPLAS 2019
- Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components TOPLAS 2018
- Algorithms for algebraic path properties in concurrent systems of constant treewidth components POPL 2016
- Speculative SAT Modulo SAT TACAS 2024
- Mechanically Translating Iterative Dataflow Analysis to Algebraic Program Analysis OOPSLA 2026
- Semantic code search via equational reasoning PLDI 2020
- Newtonian program analysis via tensor product POPL 2016
- Panini: An Efficient and Flexible Knowledge Compiler CAV 2025