Write it recursively: a generic framework for optimal path queries
No abstract available.
Related papers
- Faster Algorithms for Algebraic Path Properties in Recursive State Machines with Constant Treewidth POPL 2015
- Faster Algorithms for Dynamic Algebraic Queries in Basic RSMs with Constant Treewidth TOPLAS 2019
- Flexible and Expressive Typed Path Patterns for GQL OOPSLA 2025
- Generalized Dominance and Control Dependence PLDI 1996
- Types for path correctness of XML queries ICFP 2004
- Static analysis for path correctness of XML queries JFP 2006
- Synthesizing Trajectory Queries from Examples CAV 2023
- Functional Programming with Datalog ECOOP 2022