What Is Decidable about String Constraints with the ReplaceAll Function

Taolue Chen, Yan Chen, Matthew Hague +2

Recently, it was shown that any theory of strings containing the string-replace function (even the most restricted version where pattern/replacement strings are both constant strin…