Progressive Reasoning over Recursively-Defined Strings
Abstract elided by the publisher.
Related papers
- Model Counting for Recursively-Defined Strings CAV 2017
- Proactive Synthesis of Recursive Tree-to-String Functions from Examples ECOOP 2017
- String Pattern Matching in Polynomial Time POPL 1979
- A decision procedure for subset constraints over regular languages PLDI 2009
- A Concurrent Approach to String Transformation Synthesis PLDI 2025
- Solving constrained Horn clauses modulo algebraic data types and recursive functions POPL 2022
- An Equational and Graphical Fixed-Point Calculus (Functional Pearl) ICFP 2026
- High-Level Abstractions for Simplifying Extended String Constraints in SMT CAV 2019