Space-Efficient Model-Checking of Higher-Order Recursion Schemes
Abstract elided by the publisher.
Related papers
- Practical Alternating Parity Tree Automata Model Checking of Higher-Order Recursion Schemes APLAS 2013
- Linearity in higher-order recursion schemes POPL 2018
- Types and higher-order recursion schemes for verification of higher-order programs POPL 2009
- Verifying higher-order functional programs with pattern-matching algebraic data types POPL 2011
- A type-directed abstraction refinement approach to higher-order model checking POPL 2014
- Predicate abstraction and CEGAR for higher-order model checking PLDI 2011
- A traversal-based algorithm for higher-order model checking ICFP 2012
- Higher-order multi-parameter tree transducers and recursion schemes for program verification POPL 2010