A decision procedure for string logic with quadratic equations, regular expressions and length constraints

DOI10.1007/978-3-030-02768-1_19zbMath1519.68169OpenAlexW2897835509MaRDI QIDQ6166155

Mengda He, Quang Loc Le

Publication date: 2 August 2023

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://research.tees.ac.uk/ws/files/24738048/aplas2018.pdf

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Logic in computer science (03B70) Computational aspects of satisfiability (68R07)

Related Items (3)

An efficient cyclic entailment procedure in a fragment of separation logic ⋮ Word equations in synergy with regular constraints ⋮ Compositional satisfiability solving in separation logic

This page was built for publication: A decision procedure for string logic with quadratic equations, regular expressions and length constraints