A Decision Procedure for String Logic with Quadratic Equations, Regular Expressions and Length Constraints
No abstract available.
Related papers
- Effective Search-Space Pruning for Solvers of String Equations, Regular Expressions and Length Constraints CAV 2015
- Decision Procedures for Sequence Theories CAV 2023
- A decision procedure for subset constraints over regular languages PLDI 2009
- String solving with word equations and transducers: towards a logic for analysing mutation XSS POPL 2016
- What is decidable about string constraints with the ReplaceAll function POPL 2018
- On the Expressive Power of String Constraints POPL 2023
- Solving String Constraints with Lengths by Stabilization OOPSLA 2023
- Decision procedures for path feasibility of string-manipulating programs with complex operations POPL 2019