Hector: An Equivalence Checker for a Higher-Order Fragment of ML
Abstract elided by the publisher.
Related papers
- Homer: A Higher-Order Observational Equivalence Model checkER CAV 2009
- Hector: Software Model Checking with Cooperating Analysis Plugins CAV 2007
- Admissible Types-to-PERs Relativization in Higher-Order Logic POPL 2023
- System Fμ ømega with Context-free Session Types ESOP 2023
- A Theory of Weak Bisimulation for Core CML ICFP 1996
- A Theory of Weak Bisimulation for Core CML JFP 1998
- Newly-single and loving it: improving higher-order must-alias analysis with heap fragments ICFP 2021
- Modeling Reachability Types with Logical Relations: Semantic Type Soundness, Termination, Effect Safety, and Equational Theory OOPSLA 2025