Higher-Order Model Checking in Direct Style
Abstract elided by the publisher.
Related papers
- A type-directed abstraction refinement approach to higher-order model checking POPL 2014
- Higher-Order Property-Directed Reachability ICFP 2023
- A traversal-based algorithm for higher-order model checking ICFP 2012
- On Higher-Order Model Checking of Effectful Answer-Type-Polymorphic Programs OOPSLA 2025
- Educational Pearl: 'Proof-directed debugging' revisited for a first-order version JFP 2006
- The Pi-calculus in Direct Style POPL 1997
- Big Steps in Higher-Order Mathematical Operational Semantics ICFP 2025
- Equivalence by Canonicalization for Synthesis-Backed Refactoring PLDI 2024