Relational Synthesis for Pattern Matching
Abstract elided by the publisher.
Related papers
- Extensible pattern matching via a lightweight language extension ICFP 2007
- Relational e-matching POPL 2022
- Data Extraction via Semantic Regular Expression Synthesis OOPSLA 2023
- A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization ECOOP 2015
- Modular reifiable matching: a list-of-functors approach to two-level types Haskell 2015
- From relational verification to SIMD loop synthesis PPoPP 2013
- String Pattern Matching in Polynomial Time POPL 1979
- Matching Linear Algebra and Tensor Code to Specialized Hardware Accelerators CC 2023