A Pushdown Machine for Recursive XML Processing
No abstract available.
Related papers
- V-Star: Learning Visibly Pushdown Grammars from Program Inputs PLDI 2024
- Subcubic algorithms for recursive state machines POPL 2008
- Static Analysis of Multithreaded Recursive Programs Communicating via Rendez-Vous APLAS 2017
- Faster Algorithms for Weighted Recursive State Machines ESOP 2017
- Types for path correctness of XML queries ICFP 2004
- Static analysis for path correctness of XML queries JFP 2006
- XMLText: from XML schema to xtext SLE 2015
- Higher-order multi-parameter tree transducers and recursion schemes for program verification POPL 2010