RV-Match: Practical Semantics-Based Program Analysis
Abstract elided by the publisher.
Related papers
- Coverage Semantics for Dependent Pattern Matching ESOP 2025
- Static Analysis for Checking the Disambiguation Robustness of Regular Expressions PLDI 2024
- Checking reachability using matching logic OOPSLA 2012
- MatchBox: A Semantic Foundation for Data Plane Portability PLDI 2026
- Not all patterns, but enough: an automatic verifier for partial but sufficient pattern matching Haskell 2008
- Formal Verification for JavaScript Regular Expressions: A Proven Mechanized Semantics and Its Applications POPL 2026
- Elaborating dependent (co)pattern matching ICFP 2018
- Elaborating dependent (co)pattern matching: No pattern left behind JFP 2020