Solving String Constraints with Lengths by Stabilization

Yu-Fang Chen 0001, David Chocholatý, Vojtech Havlena, Lukás Holík, Ondrej Lengál, Juraj Síc. Solving String Constraints with Lengths by Stabilization. Proceedings of the ACM on Programming Languages, 7(OOPSLA2):2112-2141, October 2023. [doi]

Abstract

Abstract is missing.