activity
20202025
most citedOSTRICH2: Solver for Complex String Constraints

1 citations · 1 across the 4 of their papers we have counts for

collaborators
Showing 2021Show all

1 paper · 1 filter

cs.PL2021

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…