Verification of Tree-Processing Programs via Higher-Order Model Checking
No abstract available.
Related papers
- Higher-order multi-parameter tree transducers and recursion schemes for program verification POPL 2010
- Automata-Based Abstraction for Automated Verification of Higher-Order Tree-Processing Programs APLAS 2015
- Types and higher-order recursion schemes for verification of higher-order programs POPL 2009
- Practical Alternating Parity Tree Automata Model Checking of Higher-Order Recursion Schemes APLAS 2013
- Linearity in higher-order recursion schemes POPL 2018
- 1-2-3-Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization VMCAI 2025
- A traversal-based algorithm for higher-order model checking ICFP 2012
- Regular language type inference with term rewriting ICFP 2020