Solving String Constraints With Regex-Dependent Functions Through Transducers With Priorities And Variables

Taolue Chen, Alejandro Flores Lamas, Matthew Hague +6

Regular expressions are a classical concept in formal language theory. Regular expressions in programming languages (RegEx) such as JavaScript, feature non-standard semantics of op…