A Decision Procedure for String Logic with Quadratic Equations, Regular Expressions and Length Constraints.

Quang Loc Le, Mengda He

Browse the full APLAS paper archive.