Model-Checking Higher-Order Programs with Recursive Types
Abstract elided by the publisher.
Related papers
- Types and higher-order recursion schemes for verification of higher-order programs POPL 2009
- Predicate abstraction and CEGAR for higher-order model checking PLDI 2011
- 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
- Space-Efficient Model-Checking of Higher-Order Recursion Schemes VMCAI 2025
- Practical Alternating Parity Tree Automata Model Checking of Higher-Order Recursion Schemes APLAS 2013
- A traversal-based algorithm for higher-order model checking ICFP 2012
- Linearity in higher-order recursion schemes POPL 2018